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 r+ \ ] LightweightJava:threads=2elapsed=52.078cpu=78.512gc=3.236factor=1.517zXZִF! Dyf]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷o㨄N[|8-(aaBbƮ/3{&eC />DVyNl!Skd SZjM:; PpꜧoNV4f/g͠T4oײ}?ѿ e)2z[n۷,QJb% OCjVJaze4O֦xH#'\ߟ]5yaIbR)wݢXc(@, pQgN ^?ss垸wh|]HY< + LightweightJava  )gRHN/Udw)N#4|_"EeaD碘n$?{^>uYE-7ZAZ@d`کVEz Ozk EUMYz8Ulk}_lxvYBMB2^FLoC9/s|Wu稬ήKI[ k ֭eoTkE o$FOn2u@D1Z; `PjA{p&Mi/ .3Uu멇T,2v0ndESU2&$:# 3x%E&mxlEq{Qyg{Qۊ'J0&EpujC3j~^mH97g60ZLqkDJia xw:Zv txT o#P)mdf Mfd9ys#˝—hZ3>= eKhmAIq7[;9-vז!=LS@/=/G-T !zK1O,p&b$K}zfLHtӤdr!cIQWͬY(U%>Zш%õ wL;!i/?.]_cqD@-ء`H^BnY2a8>۹':$+/$[獇8?o5hL1 gmAՖAjCFTP*eE< ŎۂgYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9P8>FݘMN̬dePxPL&5hMmJuGŭUS$#m.FŴSp yݔT?:wk}nrgYZ7zXZִF!  =]ŗXi%>g>!pkl$ Xdq@@Ey5jh>gFTaMr,w!KT`'2XMy/-ǙbՓw4"b`<OӦԜ-޾zET||}&@,i~|=Ri?;afgs߶U\5NR"@lK י2Ch(ub RS|)唁;XYT*Qj ۧ${/8@>+YϤYņU;s$QYJ$ w~gӃQR1?0~-ԩ`nU!-ĦC-%ޑW`z0s%%dB2dF97s52z*re>9j -TW{ -CX:9p/{ln/[{r<`/@iFP@ uQm_z|…8Qk}UBsp~.dѡڥ{7_1v~"rb,JH?+ˁ 0{O*nSF'#;ɨvmH[*eSK~/Dր,I}f}Vڕx%/ KF6lqSԍ {[Ue_M_R-o\ mS3Vxcr| EIYRw&~Ժd]6\?F!Cxayk1ȦE,)#kVsH7D5}><\ 1ve#z!S,8?†{J`M2c4J\KeEajXX; 8,׉S*bb* dQ{i$)@d:Mɱ^MʟhOKi;ai{x%XȽQthͳ4! [ |d~ 6E\Y9u_@ÈH趑Ljl,&(}U:VU ɽeD[o5Yf"VQZ\a=q$KTWF-mhE(ʹlTM_nOSMsZN#v Kٸ-)N o=F'ɯˇݥ@$C͖qȷ.1fT~}cSqtqnush: lGC޷f&핶MeeX{=ЁAJ*تu_=p-)lA7- "o,u:㔫Կ93㠕˵&J#i bղGuiMD'E&4ٳGryQ&4IWbXx\hŌ_Io VD)X5ڧ8[= 2 9PPV5e- )|Ag,ޘBox;9I{]9$ψ&?8 T;WʺVOLÖl#ڣiһb`DJ>+1YTMidJ$J SU"-"<`|WK.@΀5|fXy  Nݗ2XcC^)!CG2H? xAs0.R65&xvʓ*t6Q*Lsg2qi+& '|#Ա3YL= ]TgYZ37e6225cccb494dd95ec43f3e2f179101087775b767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0