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 Q?T< ] Generalized_Counting_Sort:threads=4elapsed=49.043cpu=147.364gc=1.612factor=3.007zXZִF! ?c]ŗXf[&CK 7_ IIĂ{i| Gp 3\)44.ȁ>~ L3|[gAƽ3KQ Iʟ&geXk'!CPž\xL 7R9BVArqՙޔ HFWNjez'ۭIᦲ9mATQE `w=؛Na5fwIA0y=IٳF (rظKKnw5&Q/APv$̄DMjA+G/俊b#AB s=@@)Pd3 b=cvQX26|xA'%?57`E֝ťB-!b.):ZEmIʣ=~֋ŤVaMTMݯL;|g17+mPWY~rU=fa0 aH Mۦ#& =Ow h._aXmYJOO{'I87(#gزh+qΉf_lkqO[k%ֻIg(EGO}Iʛyɤ%ERm|]$APIj { m `]-;kca%3r"mꞱVh"NVRW=5A -noLڢj)ͳ}hvŚE6gѻ7|IQbrǕ{[PQ(NůWEtT쪪 tS} o::{,M3f { %$曁|~ޖ=|`m.BUG6ëᙱٮDWom[U n-J'W|k'rm<`[C4Zalw/s=+jyg4 7ySgYZ7zXZִF! `]ŗXiɟX/ZbƵ5݈w ]K,TusN;#>=%Iυ0ASSeε`s`QJ\W8P7S;{lCژf(fxM:#@IiQRX!& m xW{J7ϳ[#X@r$*I ŬS ǸB,8-^IfNcEYNbk;U{왟dH>*q]"gc+x O)'3sc7EdfPUن9f C'Zw2HR:pf!qoz / 邽agFhXn8?,ƍgh1ՕO*`EVb󼊯t"ςtd'"Pj%G'~RsZn_vQP/gpC[uHs/CYN7!TLv _3 0A#YN}ב$*Ch?8\ep/hJm'#۳0H݈_OzPUf%%-^k&X4z$H8$QoDo@(sHpmeKK~7JJljV$ewIAKH:3Ҧ9EJY${3\%hֱVU[I8'ܡ<sI`0Oə{ F nh5yz[PGʇOv/0}o :z6IXyww6t!*cwLR<SY2A41JZG(qб i@+ʬiwh>VBb΍; HT՜n 2 pܾ(&{.(98~gG\S?YX!pE*8MX.NVcts>ͱ9/V2_>U&j~5c06b_y2hniTY'JWՐuOdߌ\P;{]|uӔdBq!ﻝ)rx1rna[î2I=卢3Ȍ\TT'6 UҔ o.=g}Xb8դ0davf)R"VND/F'qB{H`,%VJ.gu9"P{q{jڸ:0[˃1NDaÙ.AX=>ԋ8y%*>.욹6:U^i$-/ASCS[xmܑQn%8-Vxv$ 5a4.EENp@-UnL"orb 㛢 yWhC¦b 1 nXEUj8Om{}ʢ2$E0qHc.Q [J{F2qȍ13'y`M9Y0vw aA 3_ ŕPΕ& >(Nh z{PJܰRwEϤdY|U`.kK&pLt#n\w0Lհ0up1bHm}U.vGb%ԫ˅x=Ӕ #cK׀!HsnIC?A {fC#/J[ :@)5[MdcjD{םxgkZbfܱ;s\Tk* \cHXV#6!ד}JESNn%RFVœ06HEcPn |N֦U&>(kսf{㭥|@&Ҹ] 8.5 wn5%3 snȗlk0:@_jͫtRQɊ#<8n}^gA/e$ۙ68DrG6Yk^Ku:?Yܙ5&% !_66.`;ٗc^_=wxy*DNpxN8O]W,[LxfdK+7uh3a oU~/\N&& _]5,:J$n䮠4Yg]DeM"1] ='