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 ZZ#- $4 ] HOL-SET_Protocol:threads=6elapsed=21.174cpu=85.312gc=2.388factor=4.037zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxa[|[.')Ri? *IޏXyoK zROi26iخoQmeϪo$DF.k 'YAK="޽Ұs"*e`>CuiqAi &nVs bn-^ĜȌ>4&vj'5fGi|WniA@|0yR}-V`JjNf~r+pe݂o%c{e25ZMȗ˟dn0X<Jغ!WD(x`5PߊA!W\%#=(8AM8LClJcP' ş?V#mdM !; Z4=sWfJ (=U2$ ~v_[r˧t1Q M H &sYVbP7izުP˓o-mu/l._4_yK_Z9JdmTgHutիO"kT(NNw Z;w94CH;6K~ԊKյUEKV83h[ЄAQ[Z-FUH^L c|$CfT] =`_p RQ^pLy9I-yqq|Y@=;yU$})lGeRt'ʵp?:Ԋ΃e"^2_@l>5ok?39No蒸6;ḺX G~!V7bo6a8dv!Q=.A9C `x5\hώ7ޱgYZ7zXZִF! e?]ŗXi%;IZLäӟs/CXALO3' 7ۨf _nA]~?Ï1\1rsHf+ :a?=5ߘOs?Љ‚$>W*Lz o$HװF؇/!|,ZANULWNҫC6+`bu~UKt #IXtL&f/ufv~MRLlBd&¦WOJ#D7U;B]_"y !~RKmR'`[ oJ#D ~:mQ5Yfti湙Eh\oU$mSr[5<]l ^Btkdm`2Sg׋гD'[L+~$cпPHjhz*_Q0 3 ruPS3S\ 7Ҫ^mVRXlYL(qpU7 YzR"ɟ<tfڂA}E^ wđH~뭌 DBEs:0>&OܟcBK/Q4շ_]tdrKyQ zg|,Rra_L6۽"yvmY2!t,4|i3Ee3S8FXZ=kG_eue(qљD•G}BVEWD |Rb{ H,PO$VKN}Lϴ0+2Puޙ!EkeBH@ow*w_1HXde? Șg$b_hr Ovk ʭ~5҆~Kn>J0m5TK{\e<}A%;gz΃{! #  ]*lvW(!wgYZc82f9a75de75be576d1e876601bd886a48822ceb4842c8e44f35b38e84e7496d28f4c0448c77e9a2 424fbbb4dc49c5f9da5fd81c78ab3b2f35a10efb b24a626926d116f90b05bb3fec45e8af4a1681fd - HOL-SET_Protocol