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 v3 4$ ]% Residuated_Lattices:threads=2elapsed=29.104cpu=51.252gc=1.500factor=1.767zXZִF! / ]ŗXf1-/6vR[Oxtۻ<8(O-H7;6E(|5g^Y6H4i:޹Bȕ/!f)n ;KKW|: =X~6HE7>A ؁Fuh;kٟ-moГ)X.zZ2MUF?KId[L,,Pq\tE^3!I*';V6U1F[iލ}.fd 43C \-gPr\u;C;- }s&q]qHR:A.lWޟP(Q@k3gdu 7AW;fiݗ/tm.xof&K+Խ6IdE~di&hFX9SY#_\.^r]Z yt;uf"E&\;ۻą%yF'x9щdr*%p\n`mݦ߇vsXbY!wҙ~w++nYC+F?|-4HUe 8vBϥњjfiT6q D"?!U;1T⌎JmKGMR{eH˕$4m1gљh!&jx 7&LѤ%esb&r `sP)8Ʈ{ƪHCc6Eɑȏ k8Eݑ #Qݛ@ lt]^!<~41!=݋]c LK[irF@\R"h%ZoA\8oe-ȞIi,=%z<\SyNq_!cʴYꮹ該i|˝vpTֳR_) Ϝ`xcB/ !V3I 0:ػ0lZ%.@^JgYZ7zXZִF! J]ŗXi%60nWBL?wn "‹O<ͅ*wvCl_+?Xg o-0 ?þxx\pKZz3ZI5#2!V~L 0&oOtdYϲWِ@}\ƕ:錽?YogtLA)und *\հTs:?8/K&ujw1mW:\UR*zxubQS~/L8!\"HZ!mt}nѲ'&jY= H~cbͫ_YR$&b -DYx@y_gxR~NlX(捨r*:dg=䭬*nUrQAП&,FZ=|ׂc}9IJ Hm>Ĺ| J (Xx")TK2\|#QE p&I+=iϓGznfdrGC02s4ԂI'?9/xJڪEau8i1ѧA<997',iL9/㝳4ʓL&dߵsה۵ʼn/2 T]˫ 6f?{]xTK᪩ɽ5&fS>:X{ǣr1{0_oM ,0ӹ ޏ+':BVV'ɗ=K#[c$n抵&i77_?EX#h5$V[pܞP ˏ8oC{k6Mqe±YD#-`mo%4a>2%N[pˏ$GT w^{7_ ĺ[ boL9jUC,TץyÐ[-&r)B$ ļGe&OjjQYk_)!n=vi ZX뒻Ц,\DZV~̽z3.&`6iM\զ.cZ<Д$GdcLAZ2,]46T_1Sqhclw}J&"V vn]C[V_>7`! jqGHq#Vބҕ{+g$PKb&V m%E.sMݜ_a 9c+6kwRЫ`kkZLUTl#EwZYȣqՉgYZ38bd2ddd9baf378172ca32d8d3b2d7444d99ee7be3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 e96024a6b39b1328aeb0b590a3739cbe6a92590e 94503520361565953ff0e418b98c6fcd14775ed1 437d739d0c1a911050962f43958f3b1f86c05b5f 3 Residuated_Lattices