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 ,- 44 ] HOL-SET_Protocol:threads=6elapsed=23.857cpu=107.944gc=2.504factor=4.527zXZִF! ,]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM; }I!ZKFF#Uwf "e0uG&Noɶb;/ C}r"|IF+h`m_z{i{U:EW"x9 - HOL-SET_Protocol  [K". <*gc؜ۿKN/` ~yce+6g[!ܥ] W{MsTHx,u0X@4r!f֫Qbh IXL[F﩯'򜅳{c7'~Ȝ qHy }X G㘘 n&0#[UV6FňV 9智4Yd5~v3mh@p_h9iZdon}L%K&F!9ia*d.d!iגE8fYyKioh SOnR-(ok3;3^d3{-?Ng pF |!ט~\r4`=s~޷[D<qQ WlYTnS]_!Joy8 qt2"Bz` a\b_HC$ۚvHog! ^#^]#lvc԰X1Afpp͌jb,U, /-H[(aL|,ROÔRbC77j?$~wB35d̲߇17g1 3ݼĤ'5TME)JQH4guECu7 uˢ;iho-YygYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTtZ,yOjE?xT-p_ '7k#' 13j}ok!D7z9vI2ɕs X|Y0:Rq4ǙX1.egk ɆIPU+)> #/%Kf2Ԙ!aXgYZ7zXZִF! ]ŗXi%GA»Ҫ$磎 x關-? W*dI;=q~jea-SRIAUKT|FZ$iͶb>dVv-q~iD̩Cp*yVpR8reD pfq4eޛY,7ht 4S=Q\@L-{R_ie_Z;4 h/:},wX[t  c;O6veEf+9xجֺrCeXn+{.7Gw׎ 8*9}.j>+JH TUSi B2]+5KN |k2G^յMo-mO~7ɲעNV1!u&~jQwNl +hk720){]KO8lRoG+\`Ypb951`r qIfD֔N:Y1Cĩ <+(Hgv0 >MkQޠ(0GՅM싧v_7eik¼› "PRMRS/L[á-pp،i嬎8)L=کlXY1[ e$=XLߗ*5D[/-Q?Cc$'k}}lMQ >D?$o+͝K^#sA|ЉPJ`x[2 C S=->wD2?;ֻ*Jq]W@[ISY/GRcX!Rq\BP) 5"BujͳnmGs?}"`Ps}Y*'kViv24[Tk:.}VB _ [JO!/ϐGq{*&_|Kc:xtXJX=SXg-p5K\ ~΢Nk2DbXH(#)dHT6?½')gHBFH&ËT Ez oP =*]ҫ|}=OFd[Μ+]/tOE5Yȁ!dGItC!|9TĔv Hl+yr 0R8=, xeU5mGAc$#!Xa%<)8'tgy`\nDd D&'_H4]0=H/x!Ld`EC |z&pw-D]Hs R¬6^KEbOλ`,_" b4iH![KJ!bLf&*FW}M8468V'^1"^h+'2;֐ȹkFzΣ\s5ǭίyKi !Ìώ:4x 'ЅrB㬥I)`bA1 t"|OIwMcDO(u$ln`%.< \\ʼW-{ҞӚyGG^B~?rݎ4 в⡎لJa&vVM< WwDwjy f%UK*<ĥ =:{6 S4`.Q9YpSP(6gYZd08842f6bb3f558e75ae9785ab884b12bed6c7c8174cc62824810fb30472fdb32ee1776d48cb238c fafe655213a5e9886fd032ac78bb3ac5809b55e3 6ea3f3fd72853fd055e182704ff3f7ef8f168d0a