SQLite format 3@ . BBh77otableisabelle_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 Z7Hb,ַYc[wkJ E>{v惫z*xI8lE\Z>aܾ̯OA v  W.6< |6*)xyVFQG }#j0E""8%δdR$_\W }ary O}%5bW*M_S,yGԎc>'mQ2c7&h%labV&Ww2OU^pQnS{F呍Cb ?W"5mL;8o`W_j]Co֔^kܫȂXUOuoYLr"$x1GW"lςoqqD$b(7]IZә N8@ L -95@9PB~Dj c.Vӯ 0roMqJNѰּ`1_#\(5*IB%[D HʨѲ)V0֕ Ch>jMMN鶉{BX_"B|] v0ʒaxxWdB`gAo(< SmQ`DGQb战IhHQG=(`(m$c/ԫT_V1#iw Q*I[iQ,ڼTpȯ&n-Ȫ[y؛P3|bF9 N0(>{:%Ѽϡ㚱UŘB2tURH_t!n5hnz!jfcӖDgz*.HSc"P¢Ovkزl[A$[#OͦG< ~ #?ނH_JE!k춊@X% >Žm[7$)lvT>PvK0Ћe yQXBڷmHmJM@x;fl7EldLuzGb'+,(;@J#F!1TV;saM #&>t(_1c͖_t(ץ-6*L=9QKPuy;"Hs}NI mH;>c8agYZ7zXZִF! ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&Xx-c'woJȣOfX~C94s)jGFxp-Dy; lT#WFqlpBοDuFQ,@ #)֓rȝs1*yV=Au;cV5\-_@=a|nZ"L1^fm\尨n?lMd["@=[cWʽo/#0_*+r9 $bX&Fw@;遇XE#<*S7?Sׄ> H{VejS562apU"$llrtĖo:\&?q_LyKAD$%mEV`,؁̀\yK5l0Z66} f~kX# |'M {I\1ZZ.p(hU4IYa3NIӓ="fרl(r}sAuG@v:6]Jkfx1$De~uG8tEG^Uʍ:cumfb4KgI;н>)r^#rU?kluy1SS`V,hfJ/Vȟ{?>^4$ bHL'e l>gH3J:$ c5$᧭Ln^'}epdKtgZZ#{P?<ϱw]BO4:咄8"<0<1Z>ZN,w!oZWS0ʔt҈ 1񮃦aW6 ^Z#6׆zN*i=I&S7"]L#kw^ŗ9 /^,}{GJ "G`V(u "NFtٿxdhUEʲk@T%Bɽsk,&D9ED1{{W[ GKOĎҮb̓|jlU|nĒRIm2-JZe|jPV_<Ws`xVf+e[B..Sm3:9x"#ݡ&T枈ce_\OG#N0Oj!7{nJ["v43߰L~ z6֤q_*PH [>+\=lq~h1m^'fF'ra9MG;`/ֺ(+58D &%hLWS |TgtR25EZK6Ou`\9D*YI7g067+ȍP4Mך,%Z#<(IJ΍7'rfo~)׾HG VGHNGMێ,M;MiXd [&bJcwf?N 6s>>o1(4 "QN\YHU~Cu\q4b\WbkVkOURA w!kd_ije'&8e)v.pN8$Tbr!*uڴ 2cxnŹY–D: 1fA~!Y^L -] (u'ԪBj2ChYm^-f}*8gc ݬZ}`,`D hY%x=B^ jP-'L!HT?e8Һy"5@).gNT e,yB;.x-l\(2ƾŌo!=cW ?^۞apd*Ym \ZH^uzqCf:<28g٭GEĊXc#܍wda!GQQx cQqa_