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 p ,<$ ] SuperCalc:threads=2elapsed=42.163cpu=75.492gc=3.460factor=1.797zXZִF! i]ŗXf[&S ӟOx'Љ/~xS}%v3jnX,&ӕ^b |P?H/K ܐ'p̄UQ{s5 #]28U7M-q>JB㦉s~;BԷY N.VROϼM a@fv=tǷ6aLLX2= 3XA󋞂-A}vY9|,> ,TVK?aR-hV RmG)/f$LaA֫ k jm }?'Ec|sONxq02`D%4 b!*$|R> Uzg WiBUZtBGÀ^:\@|˱gYZ7zXZִF! ]ŗXiɟ}Ɓe6L=+. 3 `ɉHc #ػ~ڽm;y$ ھo!gYZ7zXZִF! + ]ŗXi%>gm}ȅ,g8Y?D U-OϺA;m8 Ԕ쐥i7%dh!QdG3d)qrXt3k1!9t:w48M+i70aDY:JZy4=ǚaPL.YTonbk+2a` kX%oxX][xzFqJb9]S)~'0Gߜ.`~E!?C  Q]Q,3L ?|V?8L^xtk/A=fT 6 YWqw~h0 QS 򐕪CtFPqޚ܄cҍI3R ;IuD11)y@*(칛v^%W S֔nمj5c87Xx^iTyǴmkKmo"BP`]zpON\9NLjHkuvKi&?v>.<aN?'7bhڥ cM1*qD!'?ò5o~ E6`ui_}[=nrҥs>ͪުN[| zeY)qVPUHgM _2f0. #=5p(N غP1.-܁UwfݶA SY Zs!u|AϺj/z$4#+q!4UDc_){`b{ڈ=ݺV!HV=xU 9*j#w)~EHyX/~!C>{C (ԾHGgGWQSeq߬kn>یD̬>YDZV!n$B/Q )[{HiU¬rۘxG(dcfcd>kEvi~$Z@44 }j"SfS4GzDnlõ2zu;McCڵ XbiH>gmIfKP1.Tmߑ0nH㖧0_oH6SX_aVG N~ 6Š-MCBURr 4)~8Vy?WYX*Gq8TCŔ HG'L#]_0k΍!=͇#Sج,5c/5M~bU'*ٌWj]i>RG Dl?,{Y1 u+JIފKŜAH΃eMd|LYQsMQ8 +xȋXrZ Lp&[U/sin eq^QdITV§UҜr'feɀgL:[a+#\K6ziZ+ Lec*[0;-: IH..yIiNe- H;nHj-O[Pob '%h(ƌW +Pw<0$iƊ]3WA\'N.[$횐߼ äM/_\>:W G# (>ͷ6-|۾˸T3?/Z Iv U,K5hn~ڷM[)2L>HI2|Oqn>~g! {lS=< *[a/VF;GD};+76+Ewz]ӸOq!#OTHU[E=b8Gvs1kH|l5$Ch2#;π9ǺCuwTƘ#A $@(gQh\K5s]kB3lS+2IՋY. \(l!I)6h+/Eģj$TKwkQHX\6)j +[KO1aۗ:n^2,1CqekH bضlE3dreI)C:(% R9*MO6^IMN  {xPfQBD x×M