SQLite format 3@ .;  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 m $|t ] IOA:threads=6elapsed=7.214cpu=32.364gc=1.316factor=4.497zXZִF!   ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 𫻪O=`N@rf(nܛ@71x`Y]aw !WoQO=92'B+ubUӋV>ELaR5H!%Fz#d̄U{W ]'!yq],fR,D W|(٥ZpJt#;ЊEv2:dgYZ7zXZִF! `x]ŗXiɟdN'LvH۹L}FuGK<2,1$*pKI9\"]|+WL̏QkuFEtPz(-,횥X1O:H%Ǎ"{ : \r*_"Q>&\= tQ(v0i>xf8`0j G;b8˜kyv Ax\Hԣ53h1X7cpߗa1wZddPe7g[9Ɛ:p&-`q 6rŬٰ~l3t(ӰvUEO=)/ 1v*1M 3ѥi YVagYZ7zXZִF! )4]ŗXi%IPnczN۔ VZTP*{h uc\0v]w9: x9Zwb' h Cp}ɽ.JhvS$/aX>sMSꉶ^גzO mIx/hWc<[6U^'~;"T N3oĎtI;!sK*#B_/!Y,7.zfk:JCIւŖ$Ww+]F%OVoLU ףTװH_+)O-<_#03c.c6JYfl 9gG\j:F/]>FAzgK>҃e>-iFO.D]2-z(TS|VdY/|:S =#wQ+Qcb#>K0DV>>NBw]k ʍ( xfmQ(nAbpȿIT6"2l3}/^i["y;d}`ᙜ$KE::?*"uks12&!Ot"Ec.΍>_.H O.)]~~< YTjx-w]Jd}rfu6% >. \Ep Skc핒`R(F$ΊK\H1tixU$)InB3@+B94QX)*'ZuQqSKRx~P⑞ /LPXagp#ە]#)eMӽJBQL[X)< ,Nj0HTgRYhlin^ kR#\';;eH!/@v\a_1zhؓfٱn1Nw[՝qD=L=.79ַlws}#*  ` f!;<%X(Sz.gYZec0191e01915a8bcda00579e67eec0c02ac6b1a7e0583a0ed15dcfb555474c531eb30e964565f3b0 926329a23c106a798ce76474fb0b3f351ff73480 b14cf7f123445c7addd10042dbeba9f380270aa2  IOA