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 / \L ] POPLmark-deBruijn:threads=4elapsed=14.552cpu=49.272gc=2.472factor=3.397zXZִF! g]ŗXf[&J3MRag)-C Xʉc'~ W1w PAjP\m}J s~&8>`/3km`3o2@Yl/|mud#eOۘ"7w4c0yII[:ihQ5,+B,JJU!J2@nv+A-Q:w6{m^o߶4$jh&\ƽMW MC]+~x :er1"]VD5Cgl7v"ЂΆS@&3zَ)%Ϯ%H3],x;#wB5? Ir m,As\P^wǷF_#=bӷGR4Z.b" ?ۇ n4h\I <$LJE3܊0t~\n< ]Rf@ҕHy[<$Rb#@I a N398NW겹~s4UN ).#竕04ZLS[h:NjV~o_ cd)/~ngYZ7zXZִF! ]ŗXiɟT{F moEhuFwIŔxٚWTO1}U`K[ns,W]xlбiE6\/bԿ4FّT('_ˬ?@tAL…M&->蠆g4OJ jgYZ7zXZִF! jD]ŗXi%Gl;D萎7 pOCr'ȀFKRߝ!}k=EcjX1;ݵW+_8Es ܔի'])e^:jՉȪ>JxA1ڧn"!WSeac5ko )fZ?[bΪ9*H7zsf*!+G 8A)umOco?8i:JdT7f0^4-V,StꥧrHԛkuXr.q>RR1ZB*İ&M4f-]LBD}ҝ sfDvugWF}Ax|z-Mc%wgl ͱ&GCUX5K-AO|mH}EG`,8g41+Yw/gS27DC_ŏ:DᾨO;1((!M!ƦZ͘/6F sRك_KM?,psXsEvSgFb.d: ![ <hcphuPWw&7q!PhdQy"(LBՖ_JpKHpݎlل7XLY[c w>waxC0j-g>2g839tG4k~˾,NG.T1cI 1Pu.Ypj*B7|:-Q-N?6oK)9])yׂlQ ;Sp=@0S(ԑ q-ƈ\}OX۳fqy{{KX9zE E,^5mGQn2 Vo$jcL[r쏥K=c562k_t"e~=/lIF] C./BYͲkN -)=6j r_Yaܭ kuL?p0)S&9 Sz{`@Tm~+%i -"N#,y}D܇,9Zm‡Fh$HT򆘶B-%Ǧ!lY&" ~94WJwN.@Oo09?cEzn#Cۏ(.U=V9SN){N;iɈ$J!lpU#zV['N6m1Z/fBUJ`=2>tjc+[SfJ? "Ƕ8LEGE۶V/ӫNª"GW : ((7 j7t$wzgB\[({oYU5' 9ƂD7%ېh%qV!8+eF A_#k8QyXȗ*  x ECwц$dQ ͏8\n-m^\k!MQ1:_?MH@88iM W