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 g $D ] ZF-UNITY:threads=2elapsed=17.658cpu=32.008gc=1.240factor=1.817zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb,1g3lJkX)$9io=@߈C{4+ѫgS7%TI0)!s~K8 ((hHƹA%1w g;f)ZSy@TG&rGCՠN̻ӽl~IKvI|c)zZs 4aIWuC?(egYr O#Y̕cͦ#%t5NH |dPL |]vr#Q4ab+"Di J(WY;guMOvoGkh#HŶy?% *S쭕#/YуbPbķ%6(Y2ie!hcT~˨~F? _VZG_ղshU$?YX/ s*ZgYZ7zXZִF! TA]ŗXi%;BNc^-d67pi#}awP ͻ !q~-anx3WaW(3v&YXmȵeX lОxSe\j&O9Cf8#!"W;53izO*'.(!v}ޘ"T|w+/Iु) I·-a}'.H(H@_ئ q׃͎Ft䚿"m ƽփ( xmߋܘp`8cuxd[u?朲@H9|6nmztj!wex:kxc,BVtʰ5׹Lf; $a52J=[s@waK(>=м7B$1τD1qDzl5֬ ggVbI`M} #U7ՂzG2X |&3W+_ȈXbBi[NVۏNsFm ^tRlӚ%bR#*Cܾ[~wI$-$/8!h'[a{@챘~a#@= fJ({sN!+ z<,k1hW٣#p, u2_ATڒA*+0ÿ.Mf9/<  Пw79%W!I{2QY X^+ou*+sZƜZ}0ãbɱ*@}kRgExdgd3)h`,1rr["ay sAGk7Q =XNkAR~(oU-:zd?UbrLngrzAɳB \KU8L1y C;tΡa;8:x%q#ۻe|i;T޴_ =D-FI s#Xv^21EG: >4/c  *@@5pRmAdQD1Ӏm_KclbIkq !jτ8J&V`z6c~w3Տ/*a{Ǩ0U&IdkԶ 8+.IA/tBq‰c>[HYu܇BT>AK[\p}tY ^elcVm0^b-2;Zi͡JR,H2(0Q HN|#ch7 ֚cSNZ.U;u܏ "gYZf885476b5fce9081148028253d9b119453610eca071f7fa30665cd1599ab0688c2ebc3134f4d53a1 48c7724705a2af50367b3133c44292d679828a88 16df62f44efd9bb919e899e0db91ec0e6e664c66   ZF-UNITY