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 j' ttT ]m]Flow_Networks:threads=8elapsed=40.704cpu=68.840gc=2.885factor=1.697zXZִF! q]ŗXf[&B[ |c>7/ Y~S7G,UAeH/FM5%=`JPyxTA^1qn‡|('ls«,bj >N'8&PZQi1a!gHr!bĂv3&, ڪEM#=v!ZB]fklYq~!ZZy^T\y*ͻ^ ՞ρ?T"P\EZm*mT{NxU:90_ŵ$_/@oH2JT{Z!Ü ' Flow_Networks  H#t{%2>}'7~R© PwP? ?B#hnXg_}sfz'Vl[de1:^Qx^1>]Z/'#>xʂi}?ڸȉ(Bf4qyǔZ4ĞCB}7>Y6]-U2{p:U~I*W#P: 9~+f> /fUmѻ &EY:m'wu:_NruG|ʤsvE>JrAͧ"v?]#z6YKm`T4{%uc܌H "D'L*Eڀ {9Ȣ=m:*,8?WV%bW'bJδտ_r~DA&lBuz@KxK%UZ!uEf]Mcsۯ!aOQZ"P bH$ʕB"S?bw=M9팱gYZ7zXZִF! ]ŗXiɟ$BR$#?2FU:? o/cX ]39K{!-xoG,n=QЎD9/ڨ1׻Fs`v[6{hfЗ5p=::tQٮ%joY`E#M 9-0ي8Nwe!Q(  47:7uOٓYvIrB5;B!GZ585h;@(>fu|~gYZ7zXZִF! #]ŗXi%>tyE] {v%dOD:L Օ,_̠=hX?_ bVt!"J /m¬_."rNڡPa_vxLr#~- MWwٺh2!Z)F)B-6S\ F$:YP/0n{0h8>Pnz 9 ͖вr47ÙjDU ۏ܄s&W3z{δ/V2>l'E[ MG 'C~۲z`Jrh=u@ MU^󉉻J7פ-aBK|0k-ƪt_{>Kbsd =nW%[1u!-67kęzx5BdHʘ(}M6ߏ]n=;3܈*{ROFe`-vm4LJj*uf L@ bh`5U ePhLFm-\rg0Z mN&!nx>΁C>}euܞW>$_/R-Le͓TtLFVfѤj|qwO5[OO [fu<t|/l *t<0nAL8a7zY\Wh+#"]= QZ5axޗF(Js+?D!P0[ FB-ܨ5MYD[{$JVd&W;IJsfpNǡ=A/Nt+F~оЧppfG@,|iyDۢ\θW\"r?~^(^^P`lE1KCC7n%9 OP&NO߈0܂~zuSAjQˢ/xvH:J2N3y^}${hE>Yr|믂B'0b$ՅG:z%Jj]U EE 25t2v<X%[2JԽ欒eyHUB8]m Ak~ J`%RNt\'| kOߒ \x~k9HB4cU[]%G ּ_mbR[F Zn$A TÙ_8Cmٰc9X@SVK'5?A j~KauOQ(a qWE#{YnI?">= 08k,v*HnN)˱Z9Y19;istϛ[绯OZ[.7:29Z16JGJ۠ g*C\(]cXHnT8d-@QĻFh/HYJLE܀U%O'j4:]NnG`/J#(i܅%!,3  L83Ee[0vo(:SY7KrlMaBIe/F+/Be̙͏VLc~Srt`.eR|P `ʡΔwh<큓x_JbFؒ6lC.K$||ة9!R KӁhn@hE55HȭnWqkm=OEٰQ 7LJbS, 0g,;:fU:xI[4&W?ݱ8M\t8*Mdmpi s< U%_IR8[V#"*cmw"oAf*E+JGQv)KS|!MkOvZhՐaH?r Yx3 ?jPe.Nh3$}hr8}D q֨B.@zN?fe?D " a $n P:WWkxI2ฐ[xn'OK"|VȼQO|D_`f0쭭(TF/HE!m@g`HIHY҃KYzjZ}{rő̻#˭ I.'c?S9W˳{ I"2afk:u`ʯ $xm^gC.xr=-ҷYȳ\egYZ308989f410d0e0a2b24c6123637879407ea5ddacc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 847552051a3a4a92063e64d41cec45217a8db3bd 929720e61c0f9cad99adbcdb1afb5a95adb9a1f6 1edfcab2115ef70ef89b87b72282ad56d18972e3 451952693d5cda3e3c1635a8e9458e265f7285af 1a32261bc0c3a16a92aeb57581caab4cf70b2fa7 b5f56ceb5ec9b2984d3cc69397643217e8ea2bf8 a17ed00037f09beb8b48a8269b45889a19f550806fc36c966716089d6135495b60291c3f22c5a847