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 7 T, ] HOL-Word-SMT_Examples:threads=6elapsed=53.195cpu=74.672gc=0.948factor=1.407zXZִF! a]ŗXf1-q恈2Z( \9rfJ̔`ohC/1UŃp:bfRɸf 7qj@:HʎJ#!EPDߒ럯C;/sAVf/3VT$Ȧٮ~x_Ho*'vJ|[E/N]]Myݚ~W?P$A^D4i4{?hm0U!AWEQK1`w&DgT΋ҕƲؙDB/k L ԬKp} Uqisj5N T1a0Ov2[xbmU ~Ka(tiDk FsM&[N #BP "V'`|Z?7KI{s_j5G:@ͽG]5sppAQ/2Z:gYZ7zXZִF! Y]ŗXiɟ1}?ĻQ5?01|`+)2$3%Ss5"?s&5qa0Bڑjl+0}Chf<,JgTaG9]ܻUeeT\X *_~zǔˣd(^?0+;3F{aIGmOm#MV߼!+8ԱPkVbhaWIgTuv_QxN,vמ,$yv _@9ў珏 c*ѨJĦ3) m_ ٤Ez<ÒKUX|6&Obwm;tv9M+Ahr'nJ-05{ cKU)3\.fLǴ> y6ǘ,9_X:`l6q^BF'B+vR <&q۾3:~hjP) iphIwQ/X [ ΀SeH|7+6i< KƜ.ioJtZUX. ʕ3/<'"LYTAƿ\S{zq860V?Nt2o@x&Iȑ@ nlo 7q-dRWa 0z[gC-X9#Eb{7mhc`?n.|b &P4UT} fWQRg%WW+!=dɵ-?Z_z}r E֗)Dm4 '.t4snh3LĺWK>RGN`>@C$.koA#) FZߵR^@6F@&)IJ#nAnej%0 Аhy0p{Fͱȇ*~+=kQ)I|{`5'*hg$[˚*TX'ʈe,[mG# yJ5qS2~*ACG+먀1jJʺڽjC%*D8oM2LC#VW+wҺ%`䲗⽀Mq\48QH\>N/ŠfQ(rɼSK;n*#*Fr7f ?{xדfܺMKM{9+2ƌQ&V=<{k\HΦ䖻)o 9oeF΍JcG2S,+c7_ѱL7Tsq\2ݤ+Tc%-y2 YA丄}ⴒ~֨3 $=-\g*CmS{t}z-i%%+x @0PL1Ɯ]`RM0L 07x³[sיf5`xYheT0r5UyZƣ #ImTЇ,Bh0EkREkq^bTMJz7Rv֠Y!|d-9ml&Χ\52  sdSA/']1D7nzн%%gC=vbդXBKLj8ygx_01˹vp8~+ If?Y|F