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  $# \ d ]% VectorSpace:threads=4elapsed=29.107cpu=86.384gc=3.572factor=2.977zXZִF! 7(]ŗXf[&9ޗepz,>SvK9Ofh f:zƾy ]Y`:Y`g]nE~.}Z0Yͦ.^ na/(͍(A]6xx'Y W[Vxs^qf^UWd|bod&4sn!AUq"t "yZUH4(ڵluwHxc!o9PfOc0FޖC. QY}Rpɀ, ~ C]Klg1ы4=IJG~qɾ8dudQOS;s[^2i`g*RS)1$i.X-x' דN}l~ȬeiyਜszvX]Bm:dIڈkơt@g&C:p;j,2L("%X6p~JA=U[b 0#yOs#g!dʧ$dXMhEu7cFd>x)*TJBt І„ҺL:7CqpS;lL2tq )lc<~Dj̀b/7G?[ =8$(?5 ҕt*&ʰw0!Ax^ # VectorSpace  Z˷UgZ<'/"Y.:zBAeܝ*Q ̔%H$X:J"LVYKSGo߷Bgɗ[2 _~`R\ sՈ\aDp|ɭ:TIC SS5,8d@0ULxoK5f;N?qRxkB|_&̴<^HLqu+9-ߧMӃ?~ފ#l!6zkV' |U)QvJgSNB7cK`{L= }K=SX_g#ZpPnu(Fӥ圝 ;4Yu=K$u׌^E grRPYB4(VKg,mm#ᚈ  >W|JɄ`K-S n7d[gS5zrwy upuRfSh zMtjy%BFSf5H.1ywrÍj2]EGD=)Zz|4V VL0/q15~ǝe7}?:E]wL =6@zfc e} o'gYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({cusVrZW0D?ȡuc2Cfff̋1 z9s/cD=,s>gP؇ay6n`GxSy\PW‰o.rCU6$xGرgYZ7zXZִF!  +]ŗXi%ES3l*ۣQ4ɬ^jdC1u\5z(pגH:qiGdXӢ4YѤ@L~5?lOZPEW w8#$LeP . JrlԷ6Q{_F:7"ʻ/j ;$zLFDrҹn.hz9 mhWnNӄ y=QyJbj-e@ :m\>aĻ|oDUx)̑{IY+(k @+=p^^PJmbvT 1uij\q/\ Z?ϔ5$@rs% Y0kUCG/ͭd VO\GRp}W}^W]g0\ 9ȹ`.1b|k] cf#\>Ҹ(%Nf I_r9+4ɦ醫-y+U³8\H7۾ulBjIjw &}̸ze$89IjI-]?2GgO z?J.~+EbhSO/CTLb" 5ޤ1$eMy$p͒׫V{PɆ.X1pKJ Qgh(r$Ѩ^iVG2蝌X (*E +/b9t囦N Y"=j' I_lPoI)>sՔE9K`l_N904-HS,թ%? f:MױU ڹp!MJ~ۼo$oEVgC6:ZB5^ɣ 4Va b)3(WVoKĹ^nW졌'A…B\Ig>Rݰ0- ;{Nk}O]2Kӡ( $suXAj!13֦{lyɎ(VrU@D#9~Ч{D(Iey#C'KY WQU]`l+#2% KK*5uN9VʂqsHu'Nq/?fK׵ d+ӎ /,e1 灃Z 2z,[[6G冿Ș5tP5rVDpK9&Q_4 - q&lHM})}} 0.cIeOgJV`"7!Cb} *q6 ""OHO G ; ݊zYi wH-48udpFȄ>Z);9$8 eMuW eQ LRSF$5hh G}l~[7{V%V_ZJȜCia5d*`'( L <ӢwGtVHf[j:xOf q]2"JPܙ|tw&ts!&AQPP9!H'2L VŽ`ű1mqsl1l W,#˧o#oU#,QzyL;;vH"=8ixqZ]9⑚$dK0}3+bó䆻Q.+q>C%6W^Fn- ̷阬 [ee֣ >le*2 A|"!ÝOG9{LF C`fDZy҂W0\uF) C9ujq\ hJs