SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 j , w% Fermat3_4:threads=2elapsed=26.937cpu=48.720gc=0.760factor=1.817zXZִF! ]ŗXf1-/6vRZ9EsːRRuwz0n1tzg`UWz^ LBÍDq+_OܵA!8d(valIWccCB68pLY[ď\xr͚Vww:&Y_O; Ň c+UeL%hߤk:5!Q,GVNOLxG0>Tz $pEwR]/ku)拕{$p?1օFQKH }Ӂ}4Q!S2Eh5arܯV@[;Q;`⍗P`i ?y" E5y-=Ap♙fkT?+9T-5 wHFaYJ`&z>)2@E"eiqTK=~rSq}[۱&7a79 Cj)AZdAV29!d'A'\5?R1a 4Α%hRw(6h0WPD1}}  Nl/v5fm/=#*X6lA&dRM\iWKlDe뮈@  q?-tjn54| ~(VjFBdln!ffzn>;uřEX83<j\z >?iS%Pr/.qTnфcW!FxOSuCg NjQ m*BdKyN'&7jنLdXp5uD$Km&;~'}A3}\ Y|WB= ?Pfw<+ؗsGV2۾{} ]Kɡr(ǔc/,W*.;XUtjcK9@[ճ('Zg#\;BDl~Ow A߼bpWSuLFL[s12`l[(ۗ{+w%/3^\hߋ\A Wg7^/'ƩH6e{T'0OWIeSI\k o~'NtjOЈs3;Q@1C;<˾o}!'Vs$XDůI /iK6U0/&Q[^),=0qɋLF&w%C]Cy$7_"d|_瘓˜VBY UV3/tp&tOU"2CDZ$tifTp%q-5MjZS22gYZ12bfa3196dfd9d703f0bd361f9dc21eb03be9732 a3a11ca13f14838e8012c043abfbae5a87d08069 ad01236f2c6f3db91450003ad775f4d5c213f9f1 afdccdd570ab6daab53e128c44e1c86705d53719 cc2b48ba1b97105f401cb679865eef420baeff51 ccd82abd9a53aa1d41b4b79cbe9c7842a7bf65a2f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 0485e608333a458c36d43b1f5278cbcd55f1855c   Fermat3_4