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 RR+1 D| ]/ Concurrent_Ref_Alg:threads=4elapsed=6.096cpu=17.876gc=0.472factor=2.937zXZִF! r{]ŗXf[&"wxmsɮ@wy "ȗ9 Ay_kC&G|/l۶UtCS nI/$w`%ܓMCW܆Hي" }=\HÁ=pI]et𤯔=J,Ef˯2qp%RMNޣ ~镓e)WJX"Z_۩eَE'5hE#P/ӻnucS^~z(0›݊-M(ySϪA3O'?%YH7YEZ$xϢgśӏ&/+wɽHA.qpU{7FgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduw8TD ;wq{Q@LSx*-;C8>z+;N#6˖oRK0[s9^9OgXNZL8N |z)N·֐EEW:y͉UG}9L?ȒkT[")Lfπ iDZS\4:7_G?Myٕ̑aR?@olB\ J;u g DG>.QgYZ7zXZִF! 7v]ŗXi%Gg_(~kJ@pD-uAUTK!+V3}"-^] Y9[E) Rq4锦wZ߰T,BHPx /lcO (mPި!}m,M=NdKn(6m< ߑCh$1simBXO3ٸDeY%~>I'O9f FM%=mǒoc֢Nn:q1+ `|ayiĠ1#ϴ痁V.mݢt 6.Ga'LmH,YA 9'2<əgiYԂe*0;`_5N+Oݛ8Li(K}]v(P('JmoX&mOI(ũ~9kMZk-8~2+V`+;Ѯ ?#(?׀Xh\cop>,g0Y)%EgK81pԶ#ha"L̸D>ﭔִڕ+X3x%6{^^J=% 4wi`QGfld jq{$ 2{ jnYe\c3giEƙ Iu19+8:Bz;2ڛ;^?z<<\Uj ~jmw" YXey n;^̾)AUj2e[D ,%vM}'"!k9 cKԙL n1u`fy@X\WȰ>lH"oPVkfKEH*Ux? )(X:u+uFpB$|Tk)~Jl~pcUÚ,Ti/-kU3` )cus*kB1zgQN!Лvjf47<J!)t DN|C&,} SZzc/a3`nYI)