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 KK2 \d ]]IOA:threads=2elapsed=15.086cpu=27.976gc=1.096factor=1.857zXZִF! 5]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;Ku \ȻKTW&#KD4xOաtex)cIK.4/- I8f>68X. Q5 "({2.(Pͺ!76Mx'2h+ L*q/oUa߷F.`&(A{X.Ln:~@uCM<#{ǷK¤<tjE@^;KMSE?Pn.q(5Gx]DZAfi-FGkV&B$_ϊr-19RR{kaa&byIV\h8~םO7~q15He',YYR|_&4%n+rFl t{]ھ"I*hG``g&3\gYZ7zXZִF! `i]ŗXiɟdNd'wrJmEXZ];NZ5K;b8{ 4I6<5QS^|(@ H_uWB"Сt,1X&|W 5J+et}[Ⱦe0oAJu~"ɆE5bҚiN6zEAq چy,G0tJm {<+LL+8z7Ցݼ(J19CM&;:9(_|6=JmQd,|/|HTY["XM~صks yP%U9%h*=*na*DN )JWEu=J6*G[t kH`i'9mh}Ji 3娗Mُq]{xCk*rg";,|؎63˧!(L'[Um.7H4Wc%+lKmq50dVV@\t _&1['\iK2r=SO6y1_z> Dq֞"oY x6 QJaچqd1@~ mz1*MQ*"a`dMcJCߴ./׫8bo W6Z|]=FiycOVqG=tAudp*% 0}TF/ZwK9!Nsz F#QEG38I9GRw]礡KL&~. ;,p&m÷lR֪vgs0lIjߪ1Q zג[ZcEMpYjtKI,@`7_'sh{YmRsŴXj4`Ծęo$Ǘ]\=,{TwC GgYZ0f70ef2833e1f83d5428ce741ea83953de8033d4634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 2ec0a94b3cb0e3e484d20cf2e7a52a70d368dd551a71bd6219673b2d76bc0bad170e2b1e60f3bd3b  IOA