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 , ,, ]% Fermat3_4:threads=2elapsed=26.641cpu=48.640gc=0.804factor=1.837zXZִF! !]ŗXf1-/6vRZ9EsːRRuwz0n1tzg`UWz^ O+q- <92{h iaSs#bAE" և뚉س&j1}Hg#SA~OM[b$?E`]塟4M:Q!I!FDQ!j'mzv<4ݼW=Xwtc=qL ӴJWa-.7c= 1E4s5M~~itTM^F 9uOׄ˘7?Sk:=pGcD ʗrrCIcqq#Oݞ6DUCU-9牤E 8,L9S ˬB![f ; Rp䤒$`F6ѴhS\uq33O/LQG[:Y>^|=o;37^&݁<.V^_C`.Aq~W\Ue~t[Ky3HNXP$ZBFh$(dg[|UM4>-" ?YUAܰ%gu#e@ !t@JNv+puvrdq~HױGTZ7ã> t\DIvHO?2TnH%P\pPV`T=0{؊<&{sԴȧ] B=!Cnć`T4/$ƿq]vjlK)v?n4L."`pQX˫I1HW)CΚP'\%B kYⓣ~-#\XQb?q:!n IkIXHo9ty`k'$n7`3Dsݰ"i @khlVHV}>-\IݙwxXj#O>5f}vpIY c>][vӊHzA깍2 ) {@AwB>%8Wߤ`ˉ%Q!=x\⹽ 0/p)4DŽvatAHJ?~&&=8PUbk5vP CqNSsPFWsS_sr}ugHld Je~pht[19;%lTR9}bA]P Lb] (RTZ24 f;d/L{} Z_S/).֓yޒ T7@y@ U&|k2cSTXBLrY͂xv_y1_\N*dxsW[FFDM8=^YEy"qTMӊ'=M(YcCY2 {n-#s̸BlILۻy9{7 r]J HV"tz[]0pH G]s GP ͌ v˔Xb1hܾҽN4BS9)Uۮ3u⤢%~rهYi򶓰i< |JE=GkGeO-KD́M8f'h"^ϱ1$R£hRʰ203 k1Ԧ|Z62"l !ܯO7R1>>`:!!1etPқuK7?SsḺ/WKN7 Líތfvx@r-QNt_~WdeV7hy‚T{+ݚG#otEo%x$ ɼ"v岶1S×>|MУC~((/5łȕ(gYZc80d477bf7f7a7100191eb85030b4dd82da1666c0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983 dd12e4682f87f29e037aaa26ba4dc2eb2f94ffe2   Fermat3_4