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 d? dL$ ] Program-Conflict-Analysis:threads=2elapsed=29.035cpu=53.552gc=2.560factor=1.847zXZִF! ~)]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CU)a7^.tfO_[ 52~t*Gxӹޣ#aׁ~oM[qyg(ZN?$(VKE=g`ςNB2w5ϓKmȎ2&bP£kWB@v{P¥]x+qfɛ#<>oz r >v==v"յ.!M)tYyY gCz8JiU;4]SjPyju;Z<RZ_ c`rM.3J9ܖgT16ym8KTKAqM m2y(d!ϺcjSn- jk^c LE Lx,gw#.&̫Dk 9X!<9=:2Z.urd|x0&XqiH0aDFPV[={LD98T hzd_)j5Nc؍_EOT~)xBKnDS7^V,A[t>&`I>ġHsr*þQ OH{A<DgYZ7zXZִF! ]ŗXiɟ˕A;[] VmTi{RM9%LFgO]!vqo5kHlql~pZ7|)cSsC`g0"in)^w/ŽR"aNa3UP@ (inu5I`LQnqdMUpĂq79\!#05b8#|P#)ˇq*af+'fDy^Y[%?->)g1Ma UjG1ݣ aȼ8+ '@jl/D̳ =o6} Ã(߈[ґiD}I%M+'?e"Xx|JM U*@n~ZjgO&( D9q0*ظCI=XaY"T25o2G59`Wz!;u8F廟}jǺ"ؘT=B>4T1e1.eU/vR LKUb1yyp6K7.>w@m-Sx[z%d۲9f1&ܔ msV ^Fֻjc^붒o]ۯ9rlkvLO ,?u%^Ӟ 7%}9ąAz/U Dd[Zn땮ACevSq5pmDQPJT^rk[-KV63Tۓi1_H +*aݽ>KX՟c3 A$^H& 7֨ Dž d wgG^%IIߧq1R=*JZ^=.lwpaIan=bPTV%])h %0OQJsk&fkW C>j·|;mdɻaZB1(X eI$tQn,)#Zt\SL㡈0s&B"|Q/ң13&nX@9w)(90%ʭMn)qƭX9(|xA8j^*zg ѱ}z32>x ^{YrGнr|fHmr,,H֋_E[n'Qu9+p>*3%3[>^WmP̨9V3q!HF4aFdNycvȄU(?°O38=q8Ծ#