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 CC: <|$ ]S IOA:threads=6elapsed=7.354cpu=29.876gc=0.984factor=4.067zXZִF! <]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KnB勳JͤdU/vn[hMY=e"*"(qd$]tfZ #}7z`vw9l'dNKkcRu?Pg' ۳p,bx3j q+w䑫Ѓ-aPǜÇaڤQo{3#ƻ<ɮQ&<>|WhpFa8L&o.ko%nлoc|*9f]ܺ a 4ar tw2@Y,A-7ժ!b;L+Hk[/<>@[2n26s;Mœ{..K7w6먅>pė"gYZ7zXZִF! `u]ŗXiɟdN'LvH۹44uU@'0ɏc\soJz[~`y]P[ı6MTΡ\$>yskѫ42E&|~4F-/ܪU'U5_/YKR9equ F^mS*w7APuLbizˇJ)&1?sCsIjZLjnMP_K6 u=,Pw&ՄY| EmzvDk쩷4}"] a8T 9f0̩^f@uԆ\D,[PH%i!6ȋ*P,m;59 `ț1gYZ7zXZִF! %]ŗXi%6Ʊt'1G4mpΗ%[}41i&,V_(ZWAg*x؇G8x}QLJ}#,N/6Xj7=-Lv'l5c;?a?҆'7*J"W*/+sݔNYIy>aH.-s=d0J&R{a b^'V*' nėo'l:~q"W41KnU@Bշ^IF'͎Ļ.soj-,(QۘǼfϘɷ9 \m@kJn;-4H Uλ3uiP#EUc:F>L4kqQU+6ʟ0Ʌ2h*FJh"JV} _1Ӧ@ bJf845N('qM,<DhN s-rĢ/M BzT<~ۥbaM #MCr&dޟoyJ}.6p9/qiw:WPWCt1x:cFA"Uz~<7oFf] ͸ ROƫN?lwsdHKgYZ76fc46550351751a5f8801aca8e313ff5858226b48f87baeea618bf8b318f4114ee7c34a4c78daa4 981191c027fddebcb6f024ef53e3329b8a2eeb45 6f46af6086a370a3c4d2a32ec844330336128dd7 755493b281714829b672a008c88923470cda335a  IOA