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   r |L$ ]% Fermat3_4:threads=2elapsed=22.016cpu=40.308gc=0.792factor=1.837zXZִF! I6]ŗXf1-/6vRZ9Es˒<=JT!~fA/$K|8r1{ؿ F~p(Ĵ"?OK/TrPK oGNJ8a% J?f7!+-hNxK.u$ݻ{O?xۆBϫ !x{S!Xw\Ev|C?O?Sŀojұ2D, U"q59$GN*#'C 35/#Մ{-Ci9O?ϓf7,U7 X{Vf?q6uIYف6Y}Djd#:/4pV!:nKT(5p$?b5rgN@}Fm T_~4:=cڑͶF}RQUݣGXz j'UE@>^6:Q+vë0hIAV 'E=q|] "kWGr5-kJ$({#yfgYZ7zXZִF! uL]ŗXi%9#c_qS[HeCа{)56  c4Px)0.3퍛]i#xb12ß"<[ڍLMz Aa -ƾ UFZ%72r)F Ch,j>+kUR SeqiE?2X]Jo.M;q>?uPlV Q{啿N܅WNLYԼ!8%cﵧ4*eɷA&2Ce3d-L@P봽PhrWUZx|}X)?CbˣZ]oZT‹BH}pD`(lO)# zWW=YetL!p|oлZVN\΅l 63{AfـI d&=fk󍇿;z`J>AыW1N?n']%)~4vλ@ۘ!~ T|~O ./vuwLm'ɉ'd**x G#p_־W&$՞Ƶ-=s8,j^,r\w u% kٻu-d*@u  R?)Z$@FMߪRh!_ 7{H7GO"S,rM 7œA_g,4E8"n<u) r?MF . >ĝFI,{duE-u땢Pc߱(􏋁nRR,܀)$'ZY*,2qv=r~CAcm&lSt䙩 -`vA5Z{#KIF5eM}?]鎷j+ya Ӟt7Ʋo4ab'ֽ@P~'[v9uY-Կ$ _5jy2_3T_[Λ7D '?sJS8 7 !owY x8|pKaVD5OJ>aOm#n1uEia*UF/ٱusEw^Y$sxZySA$|Id^~3&@&9-@}OjP\/\Byo|PD#JGJ.y!R` |lV ا:S"㔑<N3oŨwՏx+ugn$Γ c9Bo8/!;UPpӥP7fvz ^R-e0[eܶ'ʴ"5b m-'1֝ʳrb5o9F[ xx=ؘNfNE-6L  Ȑ6hі6zlm9<qݛ9,yT:*IJ30Oqel) 6u gYZa861d1e1bf300793eac6feccc8bfb3853bf5a3618ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3ed685959535f1327bdf7d26aedd8065b9d7bb35 025b970b27954bb0b37f9df5c5a593170da80c50   Fermat3_4