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 B3 l$ ] Presburger-Automata:threads=2elapsed=31.661cpu=55.668gc=2.176factor=1.767zXZִF! !]ŗXf1-/6vR[3 nQ@f0o2췳_C?XMX FcL6 `*>#]OBb\źң᳣A?-:9/s"ȕ;O$t6Q馲ō!=V{_w 2NS"V!ntp,%'aXvv+vq^y` ^*k "~H!Tg=VQp.!GrhL3s+!M)?K:Iʓ*>A;$Uͻx\tcP%\Pƍǐ ite&G85iը)^rP_1"O#w:Mͪ8k]&k*>U31f'#ku,rM"tAD~r!&z}!Gٓ vR !J}Z1]ڽQG <#^D&q'<JFw=3`0vlm{"9I=9oeՍROi׽Ncbya=;$iO#ixElHxmW]OeN t%xRqjnB&%}z k1tDׁ_LLOKYx;U> $}_n+4 P]Q<`ĩ/wuT땹nI #M]p%%Kw-Kt, wNez-{W¾aWpd:ӱuC̈QԹt)CgYZ7zXZִF! p]ŗXiɟ˕454؊hUՂI"Cr%` f3ozO^%,[%͓D=A()p!%B}l Y$a 5gYZ7zXZִF!  ]ŗXi%6\zU6(w ,ḃe.dU/wʖ8GGM9IՆJKK#* *_6H-U6KT_>ZΡLƵ<Nf\$oT!)^(#,x+tƜ͍XLi86^=bn ʹcF3>UCmul7cυ79Ir,MWW+` O2xeyTt3|+_,C#+A;;*CpҥƼ^:"u .NsHyL;~F]dUEWYWą%n0nEOCVǑ%j3/kbxVP %A d0 S3U "΁D޲P#bO&L؈]ATA x6}$ yɄiqF;AWL So=yY|_]n$&%'FSS{L`@a"0HIRNzc9УiXodݹ)]8G{. 令 9.릢v _f<)9foxo %6)k|xy hR]7k>Uh8M4@m>>hl Lefz}53@d)&򊹘L"e0G8\ʄA2y^[*lƖrr($uam Vg\$Mɩln.'" 'aCuVdz[k9 HU7*Pτ {עǨAb(βZ/3!Eм7n} ݬu"fFPL.˒){ŻK{tQ ˠjq2n8mte>lT< 0jq&TXpLHهM'&#ǃ^0z6oaւS湝1GsO%{uPD2?bJNC\qh{o3lLn!1|P Cz_D''B-U ^.-/6'ҒJhFl|ao1j|6A+ɶxc=?+ơ8]~;-^' j)V{ּ4!{$CϢ99K:0GL{XB!gݚQnց׀YJ)3]58,bPˢ? 3 $& HEp2"2|wQiMe}eP e"[R1Frry}ǚ5dN'įg{wt2~fXV] ShhS.Mb{Cd"EsPj~ LO.ESn=RSFf u;Jщ%Pܾ,# w9ۢ +uY~([t>WBćx{#TZo±I3y1w[7/q%G {a-U]qѐ&l 8I&$U9~YuX*j,m&#A)fT~$$yFkSmQF%fz|Sb