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 ' |,\ ] pGCL:threads=4elapsed=20.720cpu=79.420gc=1.712factor=3.837zXZִF! "x]ŗXf[&.Ir?.kL|{Hk:D\SjoM.4paPtMo #yǯY^iQћM^ח\D:X:6,ҫajW'A΁sByKBcjF@Ǔ3Z=n-g;,/q3?`؆| )lU~m)T[!tXKy0[$u M r/i&.̋d:xhNJNt~Dx$!0l(/JNe [ 4_qZ0ɏZ_<*RpΟ5}^ UaNڳ~U"T %g. $1MFԺNU90N8;^&i@x;JvN΢ :TZQX,it>VBEiS"40X[5 ,J!>sBG3?֮FESZQo;NwywO踌 p}^D`UdL[5F>qAw?/̣^Ff<iݞ<2`+.[@C0hہfTzzMZF$*jZp@*jel{jQ&Ӥ8YSq)3SUq4@O圐қ7唭ap!غAk  E lⁱgYZ7zXZִF! L]ŗXiɟ: e=o݆$BS@8+\YFZ4'pxZ!(, {v?9AU>OɬP,IaؕwyrFlhϻt|#B<{pa`{)seny"<#ƷPV61ӯΡ y-N9nƨmنҾ'zGXQkJB^U-3Ab~T EC}6B]TP?Q6_ޟ !D]qXAL$j)،`CL#*{[pmKn^)=O2[T϶tbe45PP9(HC^irTUVܟ z ۰㍣'yQUJzbps>;8_aݲ3ɗ A$.>w ~ XJ=#M\~ΣJxzj0>֙QB;Bu)p(U6p 4ɂm ֬G'g"4.OrE@+|f G\BekKQT!Լö kz]xX=<*JvFanj=3"31W N F `\ 6<ޖ 0-^GaZi|U]. ;u#+HؓF%蔩Іwx0vG0(a.7{g)̤8Cc^ XUeҔ31~ň"rO@v k۳R{K@P4SfmF~ & bѸ9nGA@ Xex^'92X F -ڄMߔ+iDGƉݚSЂ!;V7t6Et*N ˊ>.YDZW2 R{VU4=_HnH!/Q%lfCx#ch5 Y>rHZpc y{]vԅNGL)N KqY)g Yֲ.`b.М჆V)LIo1j|6̉;|1 `Z:Mzvyy[|sgu1@D.@חKy=4{|Ojsb:m sLᓼ &؏9ײ%0.4 b9k < A)&0}{㉥]@B؛N YWih 0>J*cCN3"2r;Ok*ٹSkck PV2@RMYh#K2b&ܦ>l0!]\,OgT_ 9FDCB#E{Ti[8g5`g[Ļ]ur^1iq3N.9 fj*[$@j$R-.g_stg' 07J:$@Kj8'׆K YGBMf#ja<fr!+ t۲mc3hX)#A}LHҹb(qר/fhCYNeo# Mg|Eq DC-ڶüDg  KB1@6<۴͢~BdȵU^\2S+(P+ߘK lX 5ȴjwlUvvR͜XgٯؘB?5@UvV.&\yq @M(m@yX &4-|/ >h}ݯ=!kf_Mq,ĖQL pRK n::J:1x 3۾JM)AIxTwn(k`aYS`w2r,#ң c$ 6*@%ARbilz*`<YlX ,c,_lԿXu@&XQxu/'*oB=uW;3 `419c!spo[| {_v),"Dz [AUu|V&IiۘmY _.Ͻ <-TBh'VyUq)kC"]vZsd+gYZa2606f67c5b6a2bb7a1ca2d79acc435fe080bdf178a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f472