SQLite format 3@ .;  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 '7 D ]/]Priority_Search_Trees:threads=4elapsed=18.421cpu=39.980gc=2.664factor=2.177zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%{ժ"lZD:#{bb_Ue1]~`*|OպQqY\I&>p0+8`'ڹ{iffXVEs~JS`qR38TȢ,F"c^;ƸǯҭiYkRRH0j%9k523>8u"qK5+dU&00 =ioSAf>xR)cL _W+E$!ߦ0brbIjx܂zr;a0M4C[ 2wbE2xԆ/2`tߧfzqlߝPq@P^:?0ٳ DOO?6ic+D8)MemWHs#@UtV/PɞDN{zBHtN 4N&|XH (T_ُ`cdS,y8%8L3Z 4r(ѳk|3PM徙ml"|q^dz:zS^U Y,x\.)iedLG[t 5_ PGIl+Ȥ(.D-kʍFK ,( wux*8}gYZ7zXZִF! v<]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻ޏq@:OSYl @<,ؗ5;zfm6(Oy)ktD]a((0c շRaεPp!l3FEmR Aw_ǜ5]?zQ5Q;v#$O:A %ƐUDw*Q9C b\I9"$c=R@l6iYfZRgYZ7zXZִF! w]ŗXi%L 0ZoJLy>Opۊky8& FjG-*ys d[Ɓy<?#8j%94Q#vSKp7Pop*pyՇc ;F!#&訇I -}i6gʀzk1+ e A0'Ie6x j)j<=5 i~c'zbB^ah.v:@X4,{G3=734yeWK2T0.Z , ݛᷤ  Rx90ƑبTY4CT忇yF2SttM_@^_D*  }#պgofSVvK _%Vbv#ifv-աEOF=B^GY#hQ#|NPnQ آWO^_"ٖBHQ Y!ҫ!%)5H~m9 7E 3)|s+VYƸ\s,JVZEfnϗLd搜R xRߔƸs0\>p|" ^vuN4p+Fc&JAbJhDnZ4q# 1C~g4-24dPabH.+׽b2=,[eNa'7E8ۑW%)gO̰8;oi'h$qVxXT.]X)p;K{` {hѠJv1.iF[ Ome><HA\;-K9;0,r8æw|Wh) :4w]Wu9iuy[%<.|TN0 'yRwg[\c93BHd&4O܎lp&Dӡ|\ad:z Vu*AT4#¶^Xi<-gcp) wcbiU8_DP?JA7,4䁒4y?$_?Kp3.]O1Y޹(TeuRy ~#AKf`~#'CX"jQ;ZN묔b@=a(pzQdYǝ[j@@C~ evr!Mmq5D7C& ˘{4]Qc$]bKVY SGH[)@V̖O>K}Ry{cM0‘HpU'RK,ƭOdklr&dBied;XsT4yEv蓿A#€*9͍LˋqѝA˽S8ؖs0)ٍ^I]OixiSSQBbVL