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 (9 l, ]/ Locally-Nameless-Sigma:threads=4elapsed=24.409cpu=83.904gc=2.040factor=3.447zXZִF! &]ŗXf[&!вIkʬ:zSzrƘB:~!o}Jwhvcm$~.cЧJ!c3SMdzHľ$ ٤&<#]!4nҋSQ[[DpU{U}8_ 2RNM|?rzAG++笏Mڮh;}Jr2^{Br 9 Locally-Nameless-Sigma  5$.obكcd);7RAWvw4{</A;(ќ 8 ?ƙ[lf|GB A]yCu%ome;bH55b?A3PLM)MPƽT b*859˄pBa|2nyx2 ?kgf+.'v.wlȰ+Qv شC!2J64[ _^c5[S ǔ/?|sT:;PW%c\gWMsya5^"0E,ھD 1:Nz&2dm:B(6%4[{#Cè$KX}N8F `OWğٍ !+&0}!N!rc%CzjF(89(ω:S#[7Vljn锴o)}y{TFԭidM4dC")nM}:l>SK"54s~lw\VU3(x3p9cORqk982 +KVGXJ"דּ[pCqj%'> g񙂍Wq>42Cb_ O(LH=DhPM&:&}ꗥJM_!IgYZ7zXZִF! ]ŗXiɟ } !$FXNCj߫$KԧMUs6"xntxŏމ'ik?B6n3x W=nz(t'Y. ;'F}~hHI4٧$rn[ˍ?Q4%U[CRt(Ë "(Od|&BACϻh㑘҈Ew=G}<3]E,kv0DQH-'7gYZ7zXZִF! t ]ŗXi%G>E1,_fk3N*=h^2fEYw?,q\3`B ]6*vцF|pO؁C͹#n{--O&oCsTy hk䬒E<[uYp= haQgQSQ9I6FЗ /paԡ[{-!:_|~ 2d",i=\Kkp\SYp8[.0E7o$@c@wMs"]vtFuG / T>ҭgξ\DwIPnFp:,<nl5&OtKeŠ՛_Q ъTzA:yjקּԾ<׼ɞtGB,*v y/쬜$3G4HE݁ni1aȤ^ʤqYcgN]8\Uߋe~WY֏`:P$EyşӘL ' ‚ru<HZ&hF6/\͑& Lx[a!6,YX& Yo\#얟\y-h!QR2 ;-J: ]lDbmZĭDW[aTzR/P O5'jĿi-?.R AuZVmpu{,u_L"r\؁q h+6l! ;YB/^ DN qn[Y6lsg4l|bDRn4Y'Vuywٓ-2.Y*8 uוI/w }5Oo$#5: /Z6dXprپBsx-U^DZdPMwVן'@6a 1d,T&n#^oC1BE- igā, v闈G_۰*:amt_I/wQYpZ=ܛK@otf#XGpݛ7bYE7p|6Ϋ s1.=A[gYZ2b2d6e77c64e692373b6e94b2b891ee7634beb5c4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682