SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 22K LT ]% RSAPSS:threads=4elapsed=14.203cpu=45.240gc=1.156factor=3.197zXZִF! ]ŗXf[&$'ٙ]Z}_8K&,WrCD6\C77S \XeBX٘͟3=t@!ÅS>,?BI&Ӎ4vx `.!ɝv*T[ֵH4 /,ɍ@"o\jbꓡhKzhs%'u` iUXk ;_Xu!lF>h;v΢9RF{".ԷR !Y _ɪ^,9)|F\k>f fNvM(zJU%,±_h{uh8^ǵTp\B.Ç "5,=XTHj͠SCL~zYhqև-u\}ƫ#gwc)ܛww]1~ B&, =/$g6a]IiݤXHeؘ0do-XrWgYZ7zXZִF! 3]ŗXiɟG@~W/o&=,)f6虆;p$'T=@uȀPC!t VIY^ Mb\ tjmף!#DhK -P7ùv%4 .mξk0WU8GF:xcń˜\xtNQQǥtB8ȷqX4d[[S IW;< Jy㳲06Wl9u{)ܾ9k/gYZ7zXZִF! dN]ŗXi%B:g'k4}r >{|2:b=\W }q rɾB.iCW-.&`.4@Hd3JFi`+5v S{"S8[ԵWzLQI\C8&0M]˴exnDJ[ZLȠv*YZ? !i$#Ƭ|{ & zڈZ=i.I-&vQ9R4Zr[q*vSSoq؋-C.zrJ2''D)QK޿H$̞V!Q#6./ )86dPaIj#N띹?K_BQӠJJmY$%!>cy _09 -ȥaDcP? @yGh~)WQ6h:f1.4eᱭھe',hi:au\ujTz/ 1y qI a0Ns|t(񉽥=ڂ'^tS-, ycfJV]OW.<>=f&2ltTg %HAuQEڏV,0pA C olCϣ=ǎG=}\\zA܌[xN[ul6G R|^gejT_Ȏ^GG0^ږGYf6 T dFΐ|-X&m4# +B@wF^71ob-@a IN,SL]ycؐ_i_Q 1m|H&&YM{E>v*rB㵔7fMs9bBӱ1>p sE]Tqt"/v7_xgZ/cX2|)'a@] Gb ofH}X