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 $$Y) ttl ] Error_Function:threads=2elapsed=17.381cpu=32.688gc=1.676factor=1.887zXZִF! t]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi {ZԂ먥]܂^qXa  =_o\,R e.%!vV <`tlWĐ!]q㬍q^8{6Ř#Ic&%4DFN%IA(|]2;9ɺ#cE?YKYQ9lpQ"vhZrƙo4OXC6LfR Uq9e ,0CCE2 [NĘm޹@tIu02OrTsP{;l({3Gf (]dg^S]#7BlW2_믐[AIPEXE2Lϭdr O)&LZ<-H.TTc3uNZB%K+k8rO!>iĹ^͵$VWoRЏb/4^$g.uds<"~24D}O0YJĈ1/B `nAX?w#HtuU<@]Z$ޱgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 S"#NQoP9q pbPoV)㪺0|Jx.NdYuRԩ{*þqTj]Żx&a]^46MERv߉%ӷ?o~ڨ=_lQ B|j3[Mk$ o9Fq@f:P` Wr;pbgYZ7zXZִF! `]ŗXi%;N(|\&.Y;rB@緞X$_F(`#6y75e5gP*o@0͂Z`{c,oz0D_$)ώ9aQ$J^4EFipOEamGD|%}>&^A%…vS4y ot65bvu{ZfU Xj03.@%>5ZH5*o+קAF}. ][\y49Oc[jz%sj1GßW@Wmۤsj;2 -0\+BFCmu#(- RI݆2[cT56;jlҔJσ-.9Ǚ|9OayGw\Cy_SA | HXp4fS=Df8zV 3pL.~㽕{N*,j;\c(5SM,lY.u?j "w^ #x8E`¾WQo`8 ݲEY;ʔřM,pUFNOOtaM05oε_%RJKHU5E aq/"hzPbZ7Q}TIJEY/@"HUmm:g_R'_;}wYoƒ>V&@`&&| _M5 <Ga{W$~|n42IUɏYPTk/imZ3"Á\C*Ҧ1C@ ml~e[y0azYX'D@x .U7hB84x*VRrryt[ґ؞'ns|=_^ík7XYu6V ^!tԤBD"U*q`٭,&㷁gW1 6Z5g]vf @p7֙Eی5@[<ѢKXP8k jQmX\kBۍ}XAlJG!2sgIzA5mϢzbGp ~T/"w6ˣ|g #ڒN3QT%k\3ha]Dgh)]X5M[Wx5; _*'Tad^~ jgYZe2ef27220830cc4cb6c8d1e78558fe57e02a1d1f665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee b16ee08ebfca5967a571197bd3aa95bb88e6c232 ) Error_Function