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 aa7 4,l ] HOL-Word-SMT_Examples:threads=2elapsed=59.164cpu=80.460gc=0.872factor=1.367zXZִF! Q]ŗXf1-q恈2Z( \9 .b(BlfT+mmZDPJ1Z%+k.Z*" ?מ4~۪ T9 {ՐgeJBK6="d5WK|:?M càrr,85OtLhC{\`Bx>~%ei" XT!_2͒Gވ4ntغA2@nnĜ9\Sq5K;H\٧T}%12kKgYZ7zXZִF! Y]ŗXiɟ1}?ĻQ5?01|`+)2$3%Ss5IsAtHFDe ܢJp*.(GfԶ㣤Ӆ7|P Jjj-j)SP)ǗޅD6p=Ԩ/nzJ3&*=\,l`6 +!Kz;(k-û 2bS`T}zBtf i}OYwJG]I㛃~B e $4zP X FƠ|f D#$ԚG29%/ KTNSKC%ټy+&"pdYߍX: wQR(x?Z4g?Q07Co-,jÚɋXl$9)cd] $F!"jL(Hu-ơFHl#A iBEgh07];tCv&?j؎8 &p,аwS1w&o5 3R\<1Rp>Q(&@|ª}Ps\Q&D%gYvZApKv يjtrgkp.2cfM2uR[^^S_FX_;ݻ ia…kë7bna$g| d68S$+ne5.sdh1iԝ7fl@1,N -N `sʺ_D]Ba}3zaͱ#@؃e>CvQ|["q YD%4O-SRnjmWt@$uA콕}w0y47] `tzMJ+Lv``bOߊ[(@)(3Q+U7ΎbQqy1e<-̂j%z'ZSբ=ܩD$VvY%Ƴ>R0(<<`Ak. ?G :#"LF8%TF9|JŇh=(.+f0xp%}{ZF/,56*MtDxAcϾWI|7,Heۻ|T}sՋH?ьS:L ]J͛ĽIdjt}*F 4l^w"J"ScaGwNrl ֲ?kg'\:xӚW-P[o<˚%Lt^&+ݭho5mUsg _T>nP O` / BP} ]Hl]$xyuVrŪ‚6@,|5}ƕϣhֿz'.dD"y̝E+dvrA$$~U4l:&{M0 Y/U"A~)%!ַ†bzaz($@<, [!^ReD3Ӣ-#oA|p}bT Xetvm3'.,_(:}KPt