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 J $dt ]]IOA:threads=4elapsed=10.123cpu=34.844gc=1.000factor=3.447zXZִF! " ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K-?^ {ml ]Ǒrݩg\K:ƚD˘yc1sjG7?nHVՂ Gl끸ֻ.dr -WG~ fPPYp̊*{t}72,w-x֐k It)(=mƵRWl| 66? jf}LBwfq.}QRpa{F.q%ߒTDU؂YZaG1_؍ޟx^tP@zܧ5٪bպ5%LtwJn kP_`qk6EK~)Id&xy y:kժ!IlM݅wh>L:Y(%-Vu69sXEd (ik 4gH}tl`r!_O9! KgYZ7zXZִF! `l]ŗXiɟdN'LvH۹@d!cH 5*'ʔ (]!5پejHcO~T[1M7VDmg8D {BךT7(@;eZ#*s&7Acr\Oa+yg([NB.@)Ч7m)]Ʃ" Uv6녢?cMƹQ]$5l+˾ gR7~{L@[|\كPj2}cK):pߵimfߴz[.}{LFp dJ/3uWѸk:X#c9o7Xr95RC~=Å|BOTw<8:_reRo)w~Р*1Έ ҠWhC̶˩<<0-SHc,VΊ:3w 5.IDGɺOu&C]ytr3 ,!>fREF/Kr~zs$FMZ2'MC΍_hzbfdFkץ} D/;¬G%*d;d̓w$ GM"9,ë8C-K/)3#k$jn+1<صe{ɜvi>HZ:j^ͭQotr U@bU_1po>ڋnjk҆elW't/Np,BT{ҞWnMGad\Z:PȡV&$NX" 9a6ZK#w;׊Ȭ=E* }ڄ2ZLSy4Holv(/C!:!GJ9r}I8߀ T7xJ牆/*zUjRvR>h_\BhtcC$%,cK"aȧm^7u+8k(V]}ۘzO >qPb/z tog^gYZ004c8b15e66f058ac0dd246b1a498a62623ceff6ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 70b28ff218d28de290ad58ced4b3f912eb286bcf97b6f79b6f994f62fcb5d4bcfb78a40763cbec68  IOA