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 J/  ] Well_Quasi_Orders:threads=2elapsed=29.259cpu=51.044gc=2.720factor=1.747zXZִF! 7]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫb3ݖfȺyhQrxtB|! \Ş@>Ї9FwGIj.G&ha>g{ dHU{{(jRig'27E kԜb;hwT%|FE:(O<"X՘2ذFeO~l21̘Cw%veI)|Qfn*΁P/W҈.E|K+KɛQˣgW3d闌 Inbg5ߐ7o.4iIhiR6vUW~ŗ)AtӗFCVsg>fc& n8[|0{h_MgJaI\Nu_hhwml/~{R[! <7qn)nW-}n(Zj;NXvVvWPƒFкĭ_~xEzR}1qa6iክS#vR_o`te% VQ6GavO'a,!0C>>\{>'ثea()K2܄yA?zuq㩊V̲wz"ݍA[Cc ]uPZdr.q/ľh'u<3qgYZ7zXZִF! ]ŗXi%6qwzLzִRisA񬧽qd25c@{#+Nųu,gBCoU )zM YB@9ˀWb)*%Dqpa)]jt[NXx/9WbX:1fkT޳]I":Ѿ_2e!$qB<`F0iECԹxݲP2/ M"^谲ASQH,Q,%VwF@#Um@WkVAS+?nBOz4`Ű>:I)/ayL%4Nf('GӄٺwUyՐWվ3G%à.^8 Rכ!44jA>Mf1:; =P1P\ { -Oz;XR}Mmj )sFR({jn4U{F:v=9gt4 Ր+2ZSz{TC3壭,~etX()?rGꭨA\mS:Њ(zs}1c1yKaZ1Q2s_Gv#'j5" ֗@ lF;-^1FIG{签@:|CТ_Q c_F[Ŝ⑚+?@/:PYL>DLIvhtD1~W{)f "o*cڗ #s