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  1 d D ] HOL-Imperative_HOL:threads=6elapsed=33.689cpu=66.192gc=2.056factor=1.967zXZִF! ,2i]ŗXf1-q恈1$1|-~yߢ" w7Eh % .pICgf]7l44S!+B%ϻ|pʽqF$O$,ULuArB`c}s= *I{N[7i,y..SWU?U';KCTܳt!ej;j48WCI:|pGL< uSR&m4q䝷Kb)eWI ~oFK.ѠԂ3iAyT$eM]rj%gW:z"qnE=UEʹ kb<+h%#+EU()0R~!,/ԯJ5]eKp/?P0e<}gHV{E ^s٪B -Ga뭪Ԙ[=Q->@ytMd`\Vb1&uݛ2:KLN܀#*[ 4cxtᑸ2(&Qj>TL R ~ {Z%aOUV| Nu1I- /z?;L%g{fpH3͚%]ŗXiɟ1nhЦx"n_8N]( eOtd %ξEp@&bJ)0%:}Jn8>anGi#qXh/&r_j&?iexvq޲٨[O@o<3=9ԥ-Z>֍crbfZ&EF~, Rֻ6Ǧ $Jy~>5!<`|'Gd^M&U>:Yi[d-35E,k#+2zCd]Y{k;tM}'; bgYZ7zXZִF! ; ]ŗXi%B0@sR( DqxIw}QH(M2 4)~h1C8w!Z<NSE5ЦR=S|v|+RZP ʻ{>Z]Cڟ wv. ZIP,E4*:))㕳/P>KqI)x]WH?2NwKxoG{,/4؞m@~ZDY*aLCEF`0?bFtA I"%$3N}gð`1cu-;"+*AvҺ?VkB8jtƶq<+){~xa!}I{Ox* 7/$ d#) 08͹6j 7Rg^{8zR_K:z0!_DyywwB#>!xεY\vs;jy#ԔxO͜>t-0NC{߶ H.{;e:u"=^K#i{o7bJY41=YFI JzRՙD^^QX483z3ah+V>8,c9bpbkW;_ktY*owj8bFQ.5vCB?ܪ` Xf.L$/^ϲT8hu݌ Ex1k\S]E#39IЫ@0&.肐9X,Jq.Qnf3VK~І}쎡?[aE RFjЉ%=yM,BrZC@W/emY8BCQʉ^|>rf~PG88r{Kr"1Aflⵐd$ܙ0-F3؏XCk>#駻dF.S .ٺtԑ&Ѐb౒cಛhƞlSun"2A-؈C FdlrASCUV9'Kr`k3ޅ3hZ0df[W]PSZ, }*&tN=`A.  4yLk(zUU~a*! FaH x= =a(Bl]?1:i^@9:Nf X7Xۧ̋E+NG+hb9eqyɏYߨ1)"mU#@wɞBk0̍bA;sI,:4Y-s\EI K E.^.pg !;}׺<$Jpo ^܉nW:mՏd1:3 9 Y?w4xf\7z"_ -L48+W9Eg'yF˲ڟYԪ[PNX"|qD˼"!N nNb= ۝98ڰйշr'u]~fY.x>&LC\/;r"joEAg܋Ub!V$fܸzTMX ![Oxƾ+죱FG/mR6@&_4|MɌ+U Ъk A]iJR/$6 fu7VMU*O_.T (S:P&궚~zV%~yFsTYo;Hrș ا#lQ?r1xTWLKYv$ & nNLYʄ,-3`9cAX"xd$ {}meaE'vB^$KM59xҴ[JsHXԱ