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 jj1 L< ]/ Concurrent_Ref_Alg:threads=4elapsed=5.510cpu=16.804gc=0.380factor=3.057zXZִF! ;]ŗXf[&"wxmsɮ@wy "ȗ9 Ay_kC&G|/l۶UtC ZxB] F+s5 ~UE(.o :ZduX AgL&n?ӯMPlԼRXX{@ʧ*ʴH~&Bdwd^Vi_X켿_#-:>tLՔ2Fb!y0+N&C8bO}0C{{/E$win]Y#rˌӞxʏTTvG䰞o9+ T2 pЇ)Cׂ)Y"wߦ`!cC%~`/O%GvgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduw8TD ;wq{Q@LSx*-;C8>z+;NV"{8Gs/g;8Iݭ N!Wف$L員q͕H=0Qa}l_UU"iM<@g/ך Ϸ?ЬL "D-Hd8 jImzVRS]> |TjZ!l{C5;gYZ7zXZִF! 4?]ŗXi%B:gƂK!V%ymt(HŚ1 'Gu} g`FjS Z~q[N U!ejLѬ\"'PZϛ.,#ѻW;>\\b2o&2qQG8#j/!cM: x6&tK7P%~YVj )&zHs:C+˔ɹd^Y ;)mиd4C]|ft D]kVD1+Y0{Qf LseIx,x!\T>ySf*fp>#R w5՗tI^(TX8pUrK@c RDS99}šRu*hSKz 5(B^jf< AEY<,A~XL,kNZן zc7٦d={8`ӕhz4ZFs_5xĝXy޾ Y_) V؛$ "nrgP+Eh]IK#oVcxv ApZ`|T8kYLjB{ P^}ي܆酺"gA;J6{74ROr#F%bW~Ct-ta̞DxY+b]ߓ$iL/nsR:ǥmRؚw@jp+br-ޥ6Vуnc77ɒyGB=ˬɧAp˜&85QaGܦՇ|#T_S{Eb n)vҟ9:`/&pd}$‚qŃNs@W$FY$7Ί<+Mzf0.)+9 (Ox9ߞf9A%C}l{ Dt>q]alM3W_}ˏ+8ނm@ L6#N?ѧZ+<y8,~`d }hdB[OWe8 I /]}kDc6I MNjeHᅀz\(ƙDg3iN{gYZ3534022722dd8fba4c27ca1907502f637a874f0313f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 1 Concurrent_Ref_Alg