SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 88E- d< ] HOL-SET_Protocol:threads=6elapsed=22.004cpu=89.676gc=2.140factor=4.087zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3Uy[|`juC@oNI)c,nD*[,cc7!KZA%nMB]*?hmU8Dd.ٶh~,@5@Б-CQĹ{ԇ-')Lsj"?M r`S&utict55JTvrBn- 6ߥЈTOfZ&2 Q5κic4FLYoiL`;ؚኟJ I֪ 4!GWL)N ˻2 "gYWվ f?[2!c|9ĢMW*d$zכQ-=­&'\+tNCa꟬ r_#v#|BF@$ɯ5 ~mR zUBFu^p02tG|#aWwKl#qDc5]7 bӺq2A.d Ϣ}#ϟM;4Ob $ P`C 11ሻ)@5b-/N*+p!iew,:Ժq:vc P'|!%SS`uyNϐ%AJ'r6h\eMFZEo41 $p@;4cݐRqS'_|P1cd߹ɭ dVa9%FGq>].]<`7,Z%Re,3UW剐w}fkm#0Q~Tg5ymH@iGdu?l\E?Q.տE QgYZ7zXZִF! g]ŗXi%6ut ۅ nR΄WR)Ui?!]AXPMcʫ g.u㙘J&(Xuk<*k,\ G"=.VK21*MJ/A[=21{t ~VpeiyB&`gQ S<ٓoR JY~w/(y P4ڕC 6dcwxo-2HI-2<`Ђ#/[2|bV%ls֡NJXWƝ^>r1(U$qqg#