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 JJ37  T ]/]Priority_Search_Trees:threads=4elapsed=18.740cpu=40.052gc=2.604factor=2.147zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%{ժ"lZD:#{bbCjZtxxW68VNJY* 2++sĝV4-8W"?%y- vU`i9ޑh[Mdte C/LI"S`*7L4} OX&3^•"H V60w&q>"{T Ժ1[1/Z&hb+k!YSMkRBngjJl ["Y5] xtMy7^E8: ו_JHʣN!A90穥 &ߣrv(P1D\dq$шDu9|['3cwSZԚ(ԦDX1@MSхOs{d!%%zzFv8g] L8!4F/A\h=E"alLs&1S;].L/3"|rm'_87EPgYZ7zXZִF! v@]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떼 %у.$T.0~ĚZ81bE=(FeGGQؾCv{>n.TOn@MM糣P\slnÛmӃR%FT?h @iniYn\\.J13ҊPD&9 /|83e~ FVI9YJ%c2lMr\!IR^WkgfٙeY-݀BF_#O$ɱgYZ7zXZִF! ]ŗXi%G̉Sچn35NgT}$C.vB,*:/-+z>I1/d\pnWgprь4)`3<IU!iGӳwhՄs\hh{Q=QWS!O`ԜG4wmW+[Kt3|;?Lhp^ sdjduD. bLN'WwxY7vWI_V:`~|2gL[z$zLme#k**2_zC,I)n^{co j:[aHK2WXW3kԭC LdթIjCM؛J[}L0~4beY ߱ 'ʃ kÞCC:<);Ꟃz^QW-tأN'+-S_dƩUTΠV363.ve Tk' ?`(^ §Y?*|kt#/:t J!| `7uqbJdyDyupT3ӟ[^j`s=o8V^~=lLnn+I9f5w]pvx)k5ZƱ9z: \qjt}{Ca6.j5zmYՋ_סݫQ+`~cV@+"w7AΝ<kDR2\rUbQ3bV8D-P9VQxk~ewg\0ECK2rcyoc!)0-~_7uunΖՓx^鹌>3% #{+0b=NNm~P q!g}_XMOw~{iDg̀[N>/f V7ƍMG::Ŀ,+S ywDD9WvYsR0 -rQi c5ׁJk&͠f& SWd kA} еsn `r.5RrC*ud찭ɨybz﵄( ǩGIMQOw;.!j HDm>8ם8KW_N¡?{*ʶTe7Ax56Sh/Lə}FcqGef2SV2>MSQ$?pHz//͵A-Oc8{Aϰ%{@-!g vAw8.54"{{e[y4ޟUKYM=DY~pP}>sD&PO^!&/`medTLj2-\%fC_nh|JVi_|b@'RPOgщ$RilD}u(I9xgl0PK9!J\Ͷ˖ }<=Q>1$ (ky^4 !rCȽw+{3|/"R e4cO02'#i*3+foHπY&F/w5a"znkF<'6Lv~$T2Q%@VGw㉬rH,mH<"Dl~B0@v )xx޼B`*?\ ǺYoW&e4d3u!t6K]^N/uR~I!6?JoU"ܵ%p~O!xH>_C@ݸI*>^OЇ7vÌ=;(w%9o76zɎbVDGʶRbM [6 k0QsTޏ#[9nR5}ZUC~s(SkFr l)NOIgYZacd914f7dc199aa48c555356161f29b9dd347db978a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc596d28885d777629015f74194e02f73e7f36dbdc17 7 Priority_Search_Trees