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  ^ dT ]/ FOL-ex:threads=2elapsed=5.532cpu=7.876gc=0.188factor=1.427zXZִF! w]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,n%;& B_K[|S L" gY 0H&BmBu?&@(ʡU;T2Nh(s2H ? u<TK gYZ7zXZִF! ,]ŗXiɟ1 UtjL+S ^-}P;PϿii;"=Yr)negVJ#*Vת/cS~_0>n3IlTܹm1`v:$'(Y:.=ֳwƒG d 5]$=AJ JJu ^"&_JhW02f("g'۵ZU+YP1' ̐'@yMkڸftcrp+|d?9N¦ߥ*cjX4kwD$2@gX ygYZ7zXZִF! ,|]ŗXi%;bbDlCMPxaU1&wk&4"5L[rq+r T7׽k,%LA p  :6[LY@}ˆz^{)c(x<7,Ixhaqi#`=Wd(>+8. ux.ޙls_/mOM`(iʀf 㹇ݺI%Ɂ1jpe+q_Ɣ8<,p>l$UoLYp#~j~e6Gw vp*+J$ rMiG.'G^,I?>̋&{t|uHp$ހ\QV//w]qE}H8 nkNR,vHmouJ&^Nc){K0i~nGjO w1}d pgAI0^\ˎKѧmN>.N%#ЭS(z}N?W*jkfU]dЏ8"ˈQsA(Dpv_)髅wH%+HlХ7#P=k$dYOK9ԫ\WJAKh$$D,p}MF8Tø9 Ѣ3ءBGvTK@;EtS%*vh{i 0N7rƳ 5I.uX2gYZd6a028b61fa46ad86bc4d3b8a55a4013fd668101b1e9d096eff3e2d2097c331d061d199548b5d3ea 8b57f1c5dedc239c350048931f10b12b9f21d25e   FOL-ex