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 n t l ]]]ZF:threads=6elapsed=12.897cpu=45.320gc=3.424factor=3.517zXZִF! t]ŗXf1-) enȈA$jB80l,v8-qFN}1!fWo)$c+lU!ޅtA!~ow+Tҡ!y40Y?`Q zR=fx:&KMb;JJ4논\Z8oկavMf{.T,ڒ8*=/xZ%qԥ'woGUF9,6.: E?3/Z\$:x2(| 2X+]j-^P=BtqJ_$/81@w;%kI¥R6wb=SN^v1N'N!fv1Tce+V<ʬQ3p-'aKxF c+8+}zyZPѹ 8)PA!>VfEkd+~[~gYZ7zXZִF! ?]ŗXiɟ 1FE`穵\Q:~+U?+?i`s P]MWzۏcQfq(^li`F$V? 5C7trQxtq9Y&ilZBCbK2G؞Ou.CJR?ۚR7 gZA䴔 A )>iq^=[l5Jޡ~ndj) ܬxMCnAćWZft'19ϰ 0m MNhj v)Y;o#"L 4!J\RG%Ĥ&?'`(7;qQQ"P_C͕VVs$^-wo,(rWds5aU5Yn0.>˧cp Ge.]ŗXi%@f1ՋxFġ?~VJl8iF;TQ7XH]h& E>^SYCtW{Җ1%=6s<:3}u 0TBeHQ 6'V+(#>}`H& Z6ۥ @uշ̇ 㟟h@0i]4*ӥzK 旤x X+t44ШU ;Vdl0`[+2DZӵ$ae B6jŃ`oz)25?bLi.A\~P1z${y}=[~hyH|V~{k+}gCQ:-=6Ef0d CsL QCr,ϣE!q;z uKG ,1 9U fIS^I)zT ]hQ2F8,Vrԋ6՚6(=:h [Ff)l+4lbU?2)Pi%1,R**IԒ@r3N6vL rцZX5nW~˒ȋe|vȻלޒ#Vk6dZ(b1A'd6^%Bه{Z9pM8kk:6BϓBu4}t6S (R:i 3>s_e ΑtQ=9F.b*X%ϓųG(;} ylE/BMcJlEZ&CQ(&'NIb2|: !U#LtϧF^+g%}x я,ПHt p;fT,#;h ϷlaںӢ%= O]܈:Aٗ cO&ڏjj2R7U$SEM;!kDRԿpT(x7֬`ی<}> ݑuж^IUx΂I]MdÞaI-@fqY%+C+_-p !ZH2_\fX婵wTRqĈR^fճle[F,a}gD&#.L;A3L bGgH:ZWn7ג!@D }KgYZdad3d38a396e00f13319ef5837c7b624897610ab39fd57141f5956da5dc3f7b7eb06f36b9d32f6a7b28d1c7793cb09d2fba8609ea88a59cdf579da4e  ZF