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 KK2 ldD ] HyperCTL:threads=4elapsed=8.843cpu=29.708gc=1.428factor=3.367zXZִF! ;]ŗXf[&r>ܞSd+Ǯ5,/VJYO,$uoe;Ie!49uxWprGGvK8fGOYrp _>]q$`WCfY12-rmBV313#Q})"=|cEӈ558# EP,OYC[26FZ~nC^؛~Qn!W;^ - J ed,&]=Gi;}4i*Y?0A\ͫ#2Ƴ[Nnoq1>m :mDsqlI މP|c QI8lv<=[pdWj$_8/Q,hIERk1Jb4~x!z %CY{u$%|եx|xJh/SYض*v BB bL?&'YO~.B3AgYZ7zXZִF! ]ŗXiɟF@Am|{'h1DWZ[";Z*f ? *o^*R贸5vUkC'KmƔً󨭬2J>|7V .:Np.(3 CcΘ?+ ɑ6cbW D4D>|aa9qPgҩgYZ7zXZִF! EY]ŗXi%G̉SAЀ1I78G;/ToB<~;>d7D 3I ie.OOQ~$L7va>ߤW*-=eV+>L^ 0n/ZPl|6H ⹧RmR4A;758yT8#<y1&Q`m TƜr-\6$%'msDU!!f+sZw%}'q6A)dQLV!)l?h9l%e'ib+y:5ǛͰjw6 w+IBˌ\]C4)Rt%zʏbقcO`:V׷{)Uz&TSr7':Vԉ /9q<ÿ2Xj@_j)G#=LWI1ij[18BE/WNԉ n^kF2Q+ ]u2Vp^'lRf^ 9](Aa4DW$}` KbN:/kݿ6,1%x^ەk)٪9VErd RE{Z8w?tȖ˕4twKp˘ ǿ]iGP:Ceg:[+1kO!B%/jzq>&r~sFmedB; 4$\3fm[1qG QjuA