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 44I) , ] HOL-TLA-Memory:threads=2elapsed=14.178cpu=24.828gc=0.880factor=1.757zXZִF! h]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋE!Ś!| 9z|8pIАhHpi(J^#}oK%wKI766Wذ\9@Rb4uQŽFbgoDEe^6 ?Pi :3nAeKUA:4WbZʼnhܢN{iL\\ g2{dm̃ƫAko )ٓ j|AHb"pa?J㧆S@"Cc\ oRq.1p]-V`ӳ"q !qQ]O|yuQA#~ٟsq黎}-uܐ4@0:fANp%GU*D4#d)c M@&]jgYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKWi^ !{ɤDWBDD8z>!. @Q㋄:(߾E OZqX/!{9r&XԸ9WPSLǚAN@'|]fHu6{K0?:3!%P,>.omyA"!߱gYZ7zXZִF! D ;]ŗXi%96}R?ϧniXԩhRpLRz$";/0\ t_Ž$U9D_Pe=VCz^K+n'c"؇ ;=> @B-WK~&lT؃,| /,.|<.fHW]K"8DXE?ph;t{Qq!EpjR|+)t1FYWߚ_^V1HB-7FR Q0[?ͨEl% Nfgx*B_a1nUkkEbNoL+Jz;w-Rmf#Ml"X+v),=`r5(yUԹa"KUzQ AˋURϭM8  1M.H6'%=v"жxR?$H}W5 6UfJE<1U!)NKYRvamW!d]I R06 Zrv n -DשD1@紿gj:p3j_S=yi>$ٳ_afzbXBɵ^*82äR+yIӝK5}xnJ*y|=݄[6KѷtH3j>פy҂gy7nJ}UBE6n4cMio;#Zqu4)tiðyg" 9 tr,rp"v?)k*+ޗ_)DZﻌ/pZ:XV8̄ ^""Tē;j&3F m<έcv1޻yz<(ڣ*jnPf.~lV~k=\ P{0gYZe4cd5d0d70961901a61508bbb7d830091a7710feccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d 038299b55a6fb844b94017dca36fcf61c5fab718 ) HOL-TLA-Memory