SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 5 EQa9Kuv͸֟6ŵ4Y^dj/xiT2bՆ!U,׺,$GXǑ/}<复`J%kQ/IF~B gtx3VX1)h^)4D `h$YP׎(E/bBs_Lém[nҼVp[Kkgn6҃㕇Rc>v:lNvA`IQ^K/6iU&l$} ;XN;R/m7nrPXSjB9(iT[a<425jR.zK݊op&S(v(זgu?lx2Re Akhtέgle8ASuޜBN$=nkʊj[򕠠=5_TV>G-Ḏ1SX?o-M՛%@J(A; 4|Hdd|BNi̋7웎œ=\X18}r]GmE 2{bJkoPFQ6ajH8{&QEIͱB?FDliXQ)EIoyR4r?2A:旃Hd{92^KY췥gxARЭvےb~)>AЀLȳ@&8J18,d",NE__dC;a zG'ރ='ɪ]`ҠơK֐v̪p#gMc l~Mfh~fcajd(W[:XN0S9 &zǸREQPr븬mǻ5Zl80es"V /;$_ O+ t぀ZSLP2\^,]Qmk& ft.7'1._?']#;՟D`x^V)mQt]'g(f}6DxkJ#.b 4iI ?{]1gYZ86b65e55f934fbae00684093cf22aec3241178a0 a225c696c3e9d48f7c4f8098500d46711fb37700 a37c0ff6a586dc734eef0c613efe285630dd01699711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 000c31cfe79f77e59785b0781aea8cbf500999b8 5 Lower_Semicontinuous