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 66G $ ] Trie:threads=4elapsed=27.882cpu=31.596gc=1.424factor=1.137zXZִF! ]ŗXf[&}ynZyI k|KEw^]am܅j?Y(~Fn\v4#Odȵ_rୁRZ`XcxY5tT־TJ!FY?{D3o pT F`Mu"$cz|OH|FJNyr5F:DugYZ7zXZִF! |P]ŗXiɟl٢ :}*]fi-{Ho۹Ǡ]d?'r5¿&g tʇ:l}z}YZ7zXZִF! X]ŗXi%B53dOMOͧGG;AmUwV\3/+}ZV/6d=æs.c0p#Wġ}p8@(u蕉?OSJ>M-:jsa/0\nrzt@Ե:щdDQ:3q%i&+=<LySub!>4ć[\ZNoYiK':)Tw JW%OCez7^枡yK'fH9W8;)&vxU<'S4-d [c'TwwΓVWQ:yk5}~fj_~|qJ;u˚u*x *b؋p,44lXUhF}RSx;#?^SZC#%Md P6nm>kwϧ#gwvoDY_E)r:d fyWmYۗ ay21cm!n7*!+Q^:W+gZW c sY"H>`"1§ 5mB{/'z!Q /&XV|{G BV3O_ԚC#CF'"lwQ8I23¢Gݩf& }$t)2_gj_b_%:{s|lL(&DN!4V7\BS~^ GQ K+ ݗRBKo u];W7lGQw#b*2.޾ PowU$ R6lwHxNNn$:aGv{\o%7]D */Oa"Mqe"!ߘgO_p[!r<" (Q1V}J@jN@ogl~\=#s7HbJN7#sYXEu$/2N .)&LXQ_ȗ*GVeUx$783_,Cp1^IPAw .?d7d|QZM>!Ʈ~nA}BV܇WL %%)b`G553K?=99Xw c"x6a6419T6}PO 6bH\ maNg[D 11aKfJzR9И^HjEvBFNO5Dls 7wmy*&/ʞD+aOyPq1hP&\ɍRvLT5O3?^ A.^r Aչe蚎?ēagL(PnnM\ާP3gë'Xȃ1?ߩ`ZpQyZ\?qK,ԅ53H_'-% `-AHw#Z[4sO|~X>CM3K&6i.ҩތ%~="8?E` S!fI9#?ȟ;c\*.z9XVQL]_{HO@QAF]:yd !fpoq!Yף#=t%Dر(mHKIɟG-ѢDCPO4uS}AR>MgYZ7252eead9ad273fca35870b703f50c06fb3482a13853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f  Trie