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 ,% dL| ]S Posix-Lexing:threads=4elapsed=15.155cpu=31.648gc=1.300factor=2.097zXZִF! k]ŗXf[&q$/= :.@b҃&0Z_Q?%hT,'˞}Cq:(F(LC;]Z\2U1341-5E,+AiZFàR`HQLZxL0DrÞJ ]b}sൽ/ LԲvr3}m7m;bD)DäW@xFVMeuj콵x :>5Fy[MoJb|SV LFr(,5clcQ+{zf,oV7d^==w X`ؿ8d[Gg.!!]`~ՐZ q.gYZ7zXZִF! _]ŗXiɟˏ6t-utD>ь@z?HS(;'bwNP޲j}'c`|$ϠwI93 )2JMÕǮ{ JDgYZ7zXZִF! fu]ŗXi%B۾2ؤEdR QZ|Kʿc4R@d6ii<jb ]aJɁo,Xtѻj9-\RޛbkR0(/jW9iZ" 6_gW ]. 􁣗&X 땏[g)xhG]8sSwgHqG#ƬQ=UB`r.~;\ aS6gE,DQ>]kGG°a75)slX"9oBd79ĩy2Àu=cΧ4Gngꧾ."4Sj{xN'";G,Pɻ,t,q.37VrV*/%ㆡw@?`6Ӊ6PZpK j<!hPdk@P}FlV.a:r&',=?炌59w?Cv fAV`a:'`nȀJ=%bdM}( ZI֮%,#߼ʔoS3{/05[pp{)>/%J/fʃՏk]?XD xgaѪwC:=_lG+۸pk~SDz\hyPdԟ@xyUԯnUf5{~JWӥc$|FjQ&Pݚf6/­QvFDlxLe+c>4+ƯQ[~sr^H7"pIN`oջG/Vl|Yk4/"JN HI[+rZ<7tk5cהMG ;& ngrߤ, }jgwϹZ7m i߫/oϤMM"8t_a¿;ң-/"&.d6tG-(I$nH]z(W:f);c`2uAT7Ev+l(>LMYSi A=߮!J+05'aePOd%Mp67(;Nn?,j#@o _א Tbw:G^` L>؆M乱y#г 7q amQ_!nr}qAMRQ'D`OJ/V;iͿj?mּeG"RZƶb\b6'x`OdӋ0k}oT$YM%t:̧=RU(֤³flnwy_Ӥ^ۣzAkIH02Zrۘb}ŗ*+K[QT]~ =ǶU챟n8>% T{pcW~7%=0K׋wk^܌]TWL"S&Rah&÷x. ?1|