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 @@= l < ] IOA:threads=6elapsed=7.754cpu=33.588gc=1.324factor=4.337zXZִF! -]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K eV%F>U>|%Sp9S}(BFu]ɜ4º)R꒯NT GTu`"BU@r7:a->+MK[``hl*o`eHDAq@'Wc{hW 1눴_? `0_2 QI.VU`: Krk MUUar>x_eFN @"%rS:O!_4# s>ab< K%GipJm聦d}2NfQ2V#-* A#jh?{2:.qhȵXf;PwKH, Kf ūQMaB}`.pOl?ޞ/)")R=}%ewtg = z WRׇ\2XzG\_$!ԱgYZ7zXZִF! `~]ŗXiɟdN'LvH۹$+ ѣ^ٴը#MzO`bB7J"HkٮRFw7ktzIo*OBzst @ Z0f1F^GCyѢ;)^sDhL9e7# ApnW:8ٱQW4+.q3beVkoD-#Q^c5H5[7^ּ[wo-(:*ԑּ}2%z}x;RӿhHDR@Rڌo={]D.RvX=m#a.aʩz7JnS;h:7䥟ĵH|tӴ"EbٟK5辮#URxwa`2kF\aAIS%s[1 u~]ES);/,Zo/}+dκ!{5{vڰ(KF G˅(^Zb}޵ JM 3" 83g(Gk]9jQ@w% fin2urq(/ܮCWT/_TTVG"[,SRa~r\WWS>78RpNK1*et8\,ޥr T pFߋ9`>m{6Y