SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  t+ td ]/ Binomial-Queues:threads=2elapsed=6.740cpu=10.932gc=0.528factor=1.627zXZִF! ]ŗXf[&]\E _ ŞG3Qֹ~F;T9+H!VJ[(ePmqv 2JИa^?fmrPwKDK*&]JVGD,5yۙMڙwYA3=11 Nqo_t]:ޔ/!&LCYXd  V;/{QdCyqVꤢjwɾ_/ ] >(/gYZ7zXZִF! |]ŗXiɟ:Jc6Gx&?==Q7#VgM36̡zۜFKƋ[BżV:%kM1cu1{X٨ |uŲ/ݗ{6ٛ_gYZ7zXZִF! /k]ŗXi%>g-ڮGɎ }e.ӑLkk-P7+oٝG6AmCArzSԱk Wɂư@h Hgi4Ta_a$KFӜ>&720G;%W m2zfذ3<Z2+7E7z:JɰS@5Yr1*k-# #2_u a"[)J;Ő`A8~gfxeF6l WL-|9W$LB*PJĉ!׊{ l@z4;I`A$|Ĉk|³U%Ni?kOz<D٧Hkd_a,[ g _ ur44 1ARl)M;e2sT2l>a%K]rim٪?UKˊ"JC]B/I>(W]tţHO_ft$Z GV9h =>")_CR*,uQ ΛQAO[ ~u0I,<}K9U=Gg,[=u'0ho-O k33BꂅwZsRZ=Ri=<3i={!vVuq j'qk%My( l|Q- &xG<[@5O,4?,5=^%݀F3BQjn16rE+3׏PsJiX&4_Ő-2Zr "Y,h5!^8y,'@qo`qp6ْ"2)f@6:g)_igYZd23947444e6419772893151e23def7b09f562cc40779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f + Binomial-Queues