SQLite format 3@ . BBh77otableisabelle_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 d1 dD ]/ Recursion-Theory-I:threads=2elapsed=15.532cpu=27.504gc=1.196factor=1.777zXZִF! ~]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[\a }ZҲoٝm|\Idf;Q/m.('\}Z@תF!ń1t9gN _Ph˺mS &oi;pH5YB,sSHfCD)Qڗ.wc7@]f%XazLs?iw?vw9T 4-V+z=cW:G!<.&5y [RBFԚ>x&ґ7O4Sy&tMv?sW黸lpmyX2{TĈ鋄/(n0gYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gsʄ) %jeDvbhJt{\*RvkK?jU;Ԅr,Nnac({7;%ZZ8֎Rģ$K> upu% *nNڜ`um^3gYZ7zXZִF! `]ŗXi%;:;@gt ף0|²qR什lT&zTXx:!˦\LBfr VDT'ʩ G(}С]L9/fq_a v1P vq/v{\Qb,ոi!>hi-ȲA2h~>G23>{7Zv̵`[Hdv;HHГj_JabrU,'Cbt~6ZQS[HJniJĵݥg\lZ^Ax7#p9/XBz7γ+ B^펧!BAX \ \SeHp/6-/T5 OodBNe)4ފJa#C!-~ݸi=L[dj[l`J.G;R-X&2J\E91@RYZNV5 zV Qw'Vp\>dGsЏO\I v@ƓݮH9 M >ҵ!xΕ߱lw@$'3f1y Z݇ Ur~`U|'@IzI*{OKy E~߬Rޭ~{؄:wvjvϹ5̷tϼ}|Bwo^Y4"%IF>`-ՎJBPUB#[Z iލr1߹D\/_jJ7 O٬NCLk(Ӗ/Qڏ"MH =Y=Ig j~a2TMfT1@ m0 ;K A,Bq>_H)0"k@_N?(T3Mx?EU߬TG|NVBQPgͦrɩϤ (ǫ:|AK*)<DŽ/7&,#XJ<_% A 6PN5m. [+zj]#KpLxްN5Tj9Z|'`P]Nq$.Fy)(eiV8f0 :7/ۿ̀5m9=*B@YҾ Y 1-ѼP>V`PE~VI|C}jy*x~=R8v@7_n cG'X@s-'sxGڽ]a.&KLF<-!yD