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 9?L<$ ]]HOL-Computational_Algebra:threads=6elapsed=31.736cpu=101.168gc=5.008factor=3.197zXZִF! .]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C[ci@~(4K0~C{n3*=HO0Rd!2B;|eTimcAHiaG(4qI)Fr*DF5!o Ӊݗ5F(uqH%4d{iX{ .pFgˑZ̻w-Y?#]ghn)+PyI֛I"2*70[lm|-S v!0}9w>1lB֗*!o$*%J% ]؝dgYZ7zXZִF! ]ŗXiɟ1gtR#*Qc!;zTʱ&SZ mBd@GSeeYBJ!;rZ9MzOvԱ7 vˋ' W5Bfq2O3X" >7m`F{A8 .g#(fZO,yFa!0Gj-q蔀WJúMa_W߱6$tm{MYvTsmqU↨z9Pa 紋+Co^,tU4ଘ/@oxB;>*W[K0 wI<(sZ~>@4nԿsPBk\`Sٜ42k]!dXA]mۈlMC6 1/t(DIoS\أ\qY22EPRAAr(%8B~Y%OlgVإj)cHu,РLHhߡN`?y ژ5 ض0_pY$h= @VHbNpo,r1\W;|/"ǭk&+l&[#q߆N[0Y2]0| 3]蜡v`0-z$~ElP#깻92RDR>Xe%=̙3#DBFvCe1#wQz pl=6`_>c^imC%ڹU4J̎$Qth@oK'O1=t<&xG caRmŻecV(s[п,9@.#"4 cЋ wś,:oӌo: duiF~Uqygx<&, u+$Fx3Igr8U˵uq7- O$-*RXc3dNCobnԙ =4 3}nT#V(=51m <w%8\\NxُL==2kStjuGUDF"j׉G_.-gG)ePCb-D7眘XTCYVՉnҡ6ovusB!7ӇAK$ |j(Tʐ$4{ϼo70{J/ f`sEǬ4mI%SwD4GؤxLr,a%PŮd$A0xXRQ+o6XvD-ZNNc1I!'wgy_ɮB k1FcUq##D', ڗ"fpXd<4]8gYZ1739e0f93d626c1b875f395bb78c2794f38792d5a3ca72e93022ff3a13f721dde80608155e0e134c 03ac95b81282031db310f795682802eff540a88f ec5f667793f1a373a81b1fe8344e2c3b64c5cda27754f6e2cda2017f8aa850795971355a93f9a21b