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 K l$< ]/]HOLCF:threads=6elapsed=12.499cpu=40.252gc=2.640factor=3.227zXZִF! o]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Sy\vs#bLxJtHt( ; NvWi>5P\iDO]XRJ~p\) q\q:I?4*P0,Yq]ǧUvvIQD]hת"%CZE{3 ,Ep`<:?7 "#TfKC:դPH}OUgN9z,2.x@E|h5ThlɴN͗M-@>jH"y;H։*-$ ~DwÒF9GEBIR֩#IД24~<1[qy  Ӽ-,}5C鈩"tj|92E棤Q9Y9p M^?q/Kfg$OFvԩ,`- A>F"2J2ƷxWdɜ]ǒƷӇɇ9S2]mUOiQKp<` t.E}oyL dHmx#)H с>aT_jr%7ߵrGY <0$ uXQz^ 8%uj bbt`{ Ρ};<#bU<_Nӎ X瑱;>3r&2| Ϙu".1 cI) 03$q}^1ى7BWƇ@β$䠝Z\mѹgL r1VU$ xH<;}'5鷅H6z:yzK+7ARG_^:U;A3P75mDš0֮p"[-2wRs)5hPwaHm1H$13m,3 xż8~ugj%r CE7x+B "~8SLcf` ^ ŒIr3=!nU -OLg'F!غ5Z\^W+-z3yƩ!U=.>Yue-Ώd邱gYZ7zXZִF! E]ŗXi%G݃|O=5cg(Ff#Mu\5ẼJ>P5t@ un/5ZpZ+OEX]Hs/c^QƢ[o~IvmN,I-%>tYD\d\ξx^yZ/Hw 뇕@ƿ%<4G SnLYZ^W וR:UlC~|9T .k {edp g:oo)!jьukxe骛ukmˢL{/ZXkms,1^7s~;u@X-$Yq;Ű|)pi`ZHnLo|\ b9hoAA`^AFJ6zvuE)iTiKe K]cp#99yas3& 4XC>8mN0*9H*lQ+bY!\(2Zh֘矗31o]s-l[φsoG@J d3i2IBomvp.c!1 {ʁ5E@ou ɐk=:C5Qy;5kֵIdz]Ө|NkrrFgx!oBppqba֛ޱ=6tHړMfD\N@ ۀ |m߁WRw(869cOaBٴ[K, 7ElHuyp#K27n;P[p. Ɇ}bkui=ؓC#7l