SQLite format 3@ . BBh77otableisabelle_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 OO. Tl ]]LTL:threads=2elapsed=27.049cpu=48.620gc=2.464factor=1.807zXZִF! a]ŗXf1-/6vRZ "@`$%$xxLeӇ֩I΋8%ۃn(֥e$^F:%tdͦ=lnb߂B|#*6&0ڛ)3xϤ'@ gBza oP"Pg\u9y4*:~sM(@80[nFSÞ&wFH ަ֎r|Nnj95@_kScjΆ :a$=Zs,b|TTJ/7vrgXÏcJkh]rT,yE1zShS"J'eqbVc0Yc/D[,ZEk Ո2+ݢ˷ks`QvX`eJ,-0hDd9_S6AMY[C%Ce"Ef3n+TM w "YEs`޼k%gYZ7zXZִF! m]ŗXiɟVNJ`mÂԭI"}hQ c !y>`Up*XB8_&,Ch\:Z+^}[r~H{52mm K(d0fcngYZ7zXZִF! ]ŗXi%;Ŭ1E*7G8=DhҋOǟ1n+nrpnXn}8tTQ0(ŨBcYXJ|%2ժA3ଐ<5U=iӀ"$v Rا:MگbE tىz;TOwvDy⍵ fEز}@ o@` DN H+ Z r/{q?!Hhal̵k;MRc53_!>i\;sS='ܧQa4Av3+`SKS< v:q%Ϭbf!Y % '\1^:]@RfpfmXbRc]tݰ F|Q^].AJsSO4]H0y6}i໖AS&VfzLUpqF]i7umw_%cWW4r*׽Q<ф5ذ4M|n׭s[+gCj(zʯ`3AXٝ/_Cͱ/; Icr}vY&wSxD]~|ןurFa܌KO8!G: _-nW.oC+ |v1f`UԠ.0J<lF񎶹O;ε.j|XнI%Pl&3e(yKN.<7'&,\ `!LGLr [wnrCZ+Ym&g**'@俛)9csLh 1 v ZRqyWgf'2d32Hbr{Jr4>7͔ O9ǐ5'T^W~ǘN[XAJ3FA7EZELI"egiQ:X`͉Y,Cr>+c@.Qԩ.!sZ 9mµxC%GاC C1wCP6 =7%Y:g'C(lx2 $y[^y)ǧ_M9aPyhZ U);ݟtCw,hX,.I_gYZ05262fc88941f02cf3e95d5389fe7be936e3a07f79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa4898925a7042098240255806492eca81592bdb1a70  LTL