SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  ~' dt ]m]Flow_Networks:threads=2elapsed=53.747cpu=73.484gc=2.668factor=1.377zXZִF! &]ŗXf1-/6vRZr~yյG!ޥo(?{~$ !Ad}[Ռ+ϻȿ#q!i/Xd:VmeB#D <{sʍ_BpnF׍!RjH&l.k@5@p٣'D}nA1c>Bؕ>^]k,!Zg+]V3wK~f`)yV4FuKaXƌտeȧ2eBwNZsg[_Z3HbZN.L{$PruiZ^GD6'!YcߊŮ$ Y<z]f_?3ģwWA1E.pxlS]Q; dm-S>i3dm -j/[gA-$MkkN3*3j3zg}1'z͋!-qgj'd C28 зχwb7^Zl9"ٲ@s[cj{Fl# WmL/32OZOv˚RV&< ' Flow_Networks  ^syo46Y2QbCk,#jURqۼzc$߹n̯*BbdwGZZrR.B>Y "ŕMBgYZ7zXZִF! ]ŗXiɟ$BR$#?2FU:? (S #*pb2O%åD*FU(4@"() J7*Ipsl® NNqyG6Ȓ9.+Hv`Ky'謙>gŀg-gYZ7zXZִF! 4]ŗXi%>g_?/% S+C#Fr$*=@}, mlE|dT.OW>`#) ~aSe2wC5HM Lg()õS=z gLZW&5̶lZ "$ B6݀sT;@Od|j@DA $1؍ϡv; 'ILFiVߟV$>8do11'< X)j[!A͖ZZw~V1oSLzABmL$ & ")IG0i?ףp%unU[+WϮ Lajf {~ypsN̍ n"RTk*垿"\\_4P'?:OzYl^U05?CxSu k=b81ņpE;= P(1fz{AhӀNK?!㫆xE'6{c_`b7NNOW5igX`gSH'-_H ΢c^OCFe|p7? ޴̅;7|<JǛ9,H(J_ Qh5y2_ oCvO_a"JמEc}ٶKQBpjLbPO&@959]z\a0A q7IfFKThp7#9{]â1:ҏq e$Rfɩz8#AgXߟ,78ta‡nAGe߱ƇZ[5!FݚϕÔ M;Zd$q.$+Y"h[΃b11܊)-wxK aD,hǔ,cO@ R0JFӧ`H0]H8qPvU%%>r S b Bci5PzR/rFhm5zF[D4 "w.C7bQ4i[H\|x.A)[ޙdQxD ZU%>$wLd[mw89MلQssٞ4"{P`E;@X|}rc87cUbyh/:ݥ7kCͤ,Vwv1}rrL "hębj :WEmoe|~+ JC#7316T6Juk WQo -1VՓaW+jQ뙸mD 8tݠeΉ.:-3ƃnD(p,QM1Z":YTC_Rr /˹D8MwYx:%ϭ h~WQpwO[>7ځ{[HCfaxnG<"cW3Wv6! ^Ϻ0 7%=nXXA|P _9;URh'v67k$rFNBlh9/F9JcGb TAڑ ڼ伳+ʼngzl##RjJIOeI'q_\=t]<5{WϿ!]OpYፎY!MijD'-IERJɷmNDjc_51hUg[N: V4E+ B}6.2%A55hx5oL&iY9qDCHs)@8 sb;K o9.x/y9 ӾV?=R)u P*]76M앪mt:K7-Eb1$ uV^}q^>st_[YEʳ