SQLite format 3@ .;  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 pr|lL ] IOA:threads=6elapsed=7.718cpu=34.736gc=1.5487zXZִF! w]ŗXiɟH)0!h]G⢍JWƮ1*KdD2ғ/CGcLCY}KϐiEį= 5J3$h(@L3 iS$tѽxR͓F5뽊x5.B m!A@Yܽ5/I—1׽p+Eb9>tMmjějvpwn;Iidp^7e}uRsog)dqŅIg6{HFʼni| wax&0:BϜL <} :KFrrWaWhL~m)"T"N1QAԂP=:4o ;m ,.0r0g ʍW07Nr'.%AM -0 ݂,xƨs}^8w0?!A_Yl(g%:FٓKXl%Sd8T헫\Yijy^Ѓlos,NB3{q@W'f'7!gYZ7zXZִF! `o]ŗXiɟdN'LvH۹4/Ua8b?8&X*5rVdٶO4(dYvݩ`ʏ[I@rуX~$GgCU,z56I.ZdLu#EjPrs-XhMf1Bc/c5Z$,o2wg,$[BV_ER݄IVsQx m9Gص λ]_mUTI_/JBd⇍_؈ u17-I?UyVYGLoڨ"$*WCe ֓gYZ7zXZִF! ,]ŗXi%L(s캰Pjwd4w6?")oh@ o}9n,*!2Z"Vb:|=Eu 7lN$y xo/nCV#F։RWawo +yF@ipDiO K۔M8C.$"ޓ A= Bta{%S-ҪCͶ ;hg_gȪkTY= & ֘d hbO Ula,=c#LŐ2 `di}V xD?s;Ԁ_WBLѤi4{q\m_m861hmghka p~AǑni_|N $%[!% G#伟ʘqti^ yBřpI06 jK!}I5d, Yj vyM%衷qg^V~$cv!DMǒEdġN|RDAq7[nG0~ߏ@wN'f sAj(Ud`ѷ} 5Ym0 FO <8M$d+="}zkMQdZ냗K0;A$LѤB5?IdSL'mKi:Mǭf;J#ZZmrۓfgt[hf V ;^+S௃ Y:8gYZ1ce2c7dc5e0fe4679be50eb791fefd5c6cf8bf2473b97324401a390af5292cba94f0564c556fe305 6001243685746f1a1a24fa4ab39f70a8f5ce39cb 94180f5e1c7b33f385c4ecef48a55a08e7dea012  IOA