SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 b Ll ]]]ZF:threads=4elapsed=15.010cpu=40.952gc=2.528factor=2.737zXZִF! G]ŗXf1-) enȈA XR„)~imZ8])KF<$ṱ XZU1CU \=v^=dT nUE運Ѓ)2\Jѳ> x ",YEګ#x= 5[y b0$e뀬(!(ՃWArlK BN#RUDZgYZ7zXZִF!  ]ŗXiɟ 1FE`u$e:u|rT]/fjkx2Bw/=e,MS$]KdWf/ 瑱]"rkk:-zaT%R -_e[6= xnQtr?A>:y0`vg$} j %qL{qV摕c0Ѹ3wab2fNXU/n`h(_~L~K.)4u?!gK M0j  {q}g즌<NhvI^%^VcdGa4arkߤUpN'd!1amCk; S&ג *.oU a+F03G.],>_f6_L.=Ų %e$U$q'QWZT'R!u2>S wc5&»=PIvf;>)sR:@;gYZ7zXZִF! sm]ŗXi%G̉IyM"Vܵ}Q?ߡZW?4 /m&GIi:A߆ʠdu%7$5L[L}j*/NwM3#!Xc)5@cD^az2! /lf{SD1|x!{fW40X.{5~O-FN&ZUa~'14Vͦt~|sľ*mjpv1,Ut@;rp~~ͩ"Z#\ܣjk\ݗwy?5䔱CfX%YMHzJuuρ I^XcA"k~!uLHF\iՃ/ndl(`R_bwƘэ/(Y14NG&3RȐ, ieN%&qqgٺ!"["9ΤG5W=1($f\ bF)ͽ"d Y^ςQV}B+p-Z oX]g Q٥3%c00%U8m,K+DnAvf`rA+q QqT%.x\wҜOk/A7$&}M_tpzE}37vogEoîG[TxԲE<:rVG$9ݥxZʼnlhW`Oi3͂r3,ɧ9*Dp(oHŽc&XHsF]^ *XxY zy_0XdO}Zreɰ{ϣ݂m ,t&>go+<}WǓir7"L!m:2˅BNn]4Iڗ)w;tHPZ5:eP\lH::'N%&ad0J[/r$8)EuҠ:SZ{RB$kd%NS{gM^?<5`T[c]3E{&s{rȕ@-tX(݉Z^*@&'|*#])4\ FY%Af$$`ﲯr]yb&JH(.k a3_c֌1_v57rB/`"-[m z&A'=\8| \1S<̇$ nˎL< KT" P;?wGaX.T;<`UVIE˷n刲DH7 z'0\)jcqlWwNe0&suDDluh-9,- t*Fy-P*rƪ3(K{cy,s o/I LΐT LEbpTڤYOK)n>JAٔ /DT=gs_F)L289 т.A_qɯGJ'r#vp*oݨȉg@:$J)x8%L֒j>}zLK4WZ!EdDȈlОP@87 5)2 *Qjtl{Tb p9NTՖT.5S\q ][R`|Q=S2܇҂5ꨀnz<v`n ƈO2`V#Rz@pZs9*CnC46=fKiH~-0B3 9x9#P1i4ZuV:WdXd1.`V]e{gsgAαfL`tooa,\PHvR}> 4%~^KUd7C=P{a7g9;Uo;M)N?kW)U + dʲu/T i[ρmLADKcS^\6;6};>F3?¨S,