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 @@= d D ] IOA:threads=6elapsed=7.381cpu=29.980gc=1.196factor=4.067zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KQ+|ȻKT_cGyqwo_ Dh"BIWA.ѡQ4nr u&.\FA5n=\e""UD QcǶc-m^R"ѓرG ^ּ*L(e~gEIn, fnMH Ru.P-: X'# S{a @$D}RHE $-@C:aA- =f/$93IE22yZ; \+32&L,KPN`emċߔ@`MzJ2SL#H];]mjEV*axD(Wˮq.t\t>O_d 7>xqg&vJ蜣CfIgYZ7zXZִF! `]ŗXiɟdN'LvH۹$OdoIu:=fKwbUMm߾򀙎dye԰] ,-=.{äN>Կj3w]aRbys41h!.zou)vk gYZ7zXZִF! %]ŗXi%9#0c@ 2#EݥYXAw&t;?*5.@HEf˷ɷ 7@c~%hFĦ>ri8]b䲇&ySq4URUneGۉ&ACJ've %7 5}{qod|z]̶2< TN]H bg,O[ӈ -;F,+(LAUKqҸ|&ܚx!GE'8dikK|{1y8낭_7#O8|I w@-StT\Ng{78H$1< wSڒڷ{FiD'݄.!Qj}T-$C bofqF9 oy-iziU f7u`5IpU5[K:M׎_Vn_?( Gx.G2>mCLkV?ף5a]38cԵ䷾MpkX&TmmR*MHȈ:oH*