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 3 $d ]/]HOLCF:threads=2elapsed=17.979cpu=35.384gc=2.164factor=1.977zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_J1q'bv[!x)RoK((In OH'%ǒ8eš H"Tw?EnWǫm?) 5qA\b<7Qc, PJs!rX ,-"*Tl qԧ]6 R?o?]ˉ=LjXItz"t#+Mk2l/Dxs-e +P͉QLR6%m-z sZTu&0aH.`utKjKRg"vH}}W³B<ғ(NMᖉht8xւu0o5&IAP%JvfDe^Yh3gyWq%6vNBK4P4] *C#K^je` 5"'eup<ӄzi GSH\x3a7OyV֔^ vjj`Q*N0g*C@=1@Jd@.ģ"IgYZ7zXZִF! nl]ŗXi%96@J3 ץq:CX/` v99mrb!] (Xs|wqaa| ɋ8 bsVP#ri_r/ehD n7EУϝެM/ͪ:|v 91t<-cerS·.MQe}7`dkB`HpN ['=tIM92H3wflS2Q>B^ HٌyWPGR8JbfO;AQmc-@Wwɺ]Y  R6+;b&-]:}v\Ka]X\徜Ni0Kk A'X%Nh;8}2Z[V.<׋.ۻxn0ri5g46T2)ѯYAg81vmCзq V"g@ b΅1r+IL%M$LjUu2W$>3;Աps-}'(,1ɗ mk_F>i)5:uU:p>(tw{xG'cH, Dfwp@pz䇐MURgxTh?B񹸡$[z8 Z2P13.KCjXͲRҰ4FGImrojG9#I ?B$7?3be8`cꥷb7ctu`Yy:pc4<1S܈wiߜ!X.N^:]IWmƔ4W/ՌgA+gm A~n ruO64{pnb):!-R~Ij[R\m"Χ\ߋ 2c"/*ӛf=gr]؍ZTmfVbc4ffW݉RfQ6JVoA4)dup')3J. RgI;͒ 0w1FtWLs*wQqXe%C7Cs®uvy|ĂUnrx5b򣅍$"|