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 f |L ]% Fermat3_4:threads=2elapsed=16.873cpu=29.556gc=0.456factor=1.757zXZִF! ]ŗXf1-/6vRZ9Es˒<=JT!*pШ36GȋtMW%$hE,s,xmd8\6DV~"Z)J9~"6htd/A!y:*l[HqtH9@ p*m'ܫq 9LT5 yG;7H:UFи';#31ำEZ ]2ÿ?p(aN."FHR1Ǟĉ)4y0J0p>Yk\4 ĥ1-2L xj!f>y^=*7njgJv+Lؠ@)#,3}X^? 1ztIza87Ba)f=O}RG3W)0ŽyIC9^YR^䑒r:ﶱvtSc$ n+z'H=-t੐fv={8'5g̱gYZ7zXZִF! `]ŗXiɟL׎̈́>>^6:QWK*͗MvR Q t.:6t=輅ϬlEP-)51b||{gYZ7zXZִF! b}]ŗXi%W~UµO1<+T?%#F!6YN(R}|1 J|_RbRYM"O`aMF064"W2?ICpR8Zt'.5xL|w(>9E?lYR+[J|wxL.4BBX^ԩݏ1iXɕ~DdZLLTѝ7}kNjbu77(^O %9_rAe1E$@ U6K ?Ls6l^:/amˑ֗O76J1mŁ5rb6HqNOBJ#~ <b^|SA@A\٥9X{uR/ņ;A{@lCɦ}H lX\6}tHΨ2sW>C~YCkxe:\MK8I2ň-N4LԽK{z# Mwevg9WE.:zm chT 0<&[k$ܒ0˷s,`.|p Mi@zݽTϵ)VR֎bp4$,epo| 6ȶɦI"'f0Bu4xr\r x]WewY,YL+޸~jGWx"en# r_,XW'hxKW~08Nz&d04 (pBYPgBT,6v+0QVIzb#+$,nPQkoި?YhSh%eW}Ety^1}5k;*xJ5,JBv[̻D]K0s8-/ `ae L=UOvml)%mNg(x28a"R6E քTX!6+];_2\Oh(dLzW3,lo6e< tݭc(}TQW}0Bƨ?X"}5 t+GMJs3\ boշ3e,VpYmL#B 8l