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 00M \d ]/]UPF:threads=2elapsed=31.443cpu=59.568gc=2.312factor=1.897zXZִF! h]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^zƘ0QZV D ⣬-<[NI# Ka<05,ptiv9.0 d{05^Qbp7fI6p^ZPqYiH/8%TwV ߭͡7 HdI:MJ-Ra,(3g#?b˂nEtv=Vh(|jI3KovdF. "5P; k–}݆]5vw~^yh#O.@F 5$!d xd +p>N8k,\zi}gbpqY!Z(&t=P4%ގp._}wmIH&V{1zr[?=kDM4lؼ-ّFLN `3'*Z{}ܨb۸QV8/~N)]OBwg6C&GzKRU@&o(L:mUvmFkˆ-B=x=,4k s: 1}c'WJxwj&i;~YY`$wzЇ懽2(U΅vφql#p%dU2bH@Yʉ>oa QrxbQXLS_}%GUaLģw_cD4M4!AgYZ7zXZִF! ]ŗXiɟܤ#k0{/!sYr~!μn(/+Oـ7)>x| w;TtOnXJ4Kϖ~搻aXP>L!g!6iG2qz- y@nk-c zWErp%\tc% AaS6t3A]aP$&8{Nm,Lku96.z.OD![`zg/&GytƋ!&ޖqgYZ7zXZִF! +]ŗXi%q %UҒ;Y#+SR{}_\*Sʏhw#Sm!{awbh1vr(E4WTaFLO :]m\e ^dF@1'­ /΁ƾN~;tG`w{dcVKD/@|x' 5hy䫀6*pC\@TwBd((]1?u݈[+_P6^#vc>(קRV4 Yp \fiDMSم+U⅜?^L^'{}ȋ U'EUJzV.# o%%,>%C>@*;hTYDb3J1ofS!%s?.{#&vtn @mOGltDzȹ>5~l玻CB^;lT|QK}"Z9 VQ3=o@S 0/rV?q엿ڭh!o^Dߐ.tiQ /ץj7$vTQL}S Kja54Z&{hZ֗*5J!`nc󶟐;=r龜v1b0|gB|n z:*ȫ mS"k%VXXBVϹKZff]XP=?eF <(}ݒF,J-n$p̷[#ɡ d !/Y7 g7G9;D<ɤfC<+MG2ҙBk1)TO 6&2y)7