SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  + 44 !%]Simple_Firewall:threads=2elapsed=36.725cpu=69.600gc=3.144factor=1.907zXZִF! 3v]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0!8#NyGB`ö'. խr-wѽaO1c];[ &oa M>}(7ia4c%V~2^wFޞ@;1FL/FĶ ]4աPQ#`=D+֋FiNm0!*!TS|]pFU\w/kujߓ S)E::A5M 'ʻDBLbRWSI ʿRuٺɊPG[-H6؋ۻ^Yy~;XiuyM6YohlgK2iux`c*D m#+/ .Ks~bFo˛}o")'o->J_,2,b>GM|"UTȉkdJ-qMtxcځҴ,8JCwXS|8TƱx&Q;ncIY,:F U“ 1\_áfU OJS]J + Simple_Firewall78AwO (sƖxo\dQ1Wg9l$Xy2f6m D;P!P=BV'}ra׳u)!0k;` AoI7 E|kCfv_L fW{gYZ7zXZִF! ]ŗXi%6S$C"ѥMWǾ mG5Rʮ5M}̤F&nʹӳv*K *" LqDd埣¶)ө}7rUEeU&ɊBxv꿍,0e6V.pPFyf4]ByKwPN%աŐ!w $Ra}$ښ3­E;p^;;.[<-dBm8ٺIGx-܄ ܞ^Z7PtFN/օIC5#r9\X]4ΐUPH3`@FeΙcm ' \?* ވlcOk'W{:tBX_{lj%/l &[.o{#l8EZ+H_W%+ EG/,%[7)f[!_}vf"f>z_8ͬR+, ?!?d'|*p\񌪝ՔVQ(R0;^ZqB;\da =cT\@xso\ 8z4*艁Qg[^u**WV*8ǚذl:ibScշIڟjΰ Mƽ9 а\yrE+yb$t/=֡1?*/BMU+( ȃF)!e%DzU]3pnzd%_wC`TC?.ZѕeR,֤=k/яM^5$Os /C 逦XǤ&))z!`$ة'!wK(@Ñ?^K13(@;dC嶐9^TFYQۧ]5μ2X y\9fPlaBb9Ur`2 pK@|-4dr=(_]?V @aА zY^ܜTeܒ ÇE~` dDQиG6{zn5`'>ʻj(t _tT<m[FD~mI`od~,VezVp ++g Y3ȺWœlaALA.I4S WeY[\WzeVAC&P"$..nwCK>2)RG,keRgpP C,¡4Y ȅFܖs X4O/͵+\rHֶ^T\5T|;&J975y/d=QF{]ũ9.OD-sNd 10UnF{d\Npr]ڗ`gM-4>psY2 N-ˆj_52ofSب*)uAhcNsl%9$X{i/U%I/=8H/J(!kD[E/!靫 ?k)o "a_d( D(ú t?:c:9p7qO$ǃYUMt֠bGGA=ApyFLf,BV̸`L1*>@2kh$x]8JէWl'1ßN3n{jQKUv<2ӵ F fI2wd#{U ,O冴GёTYv{|N;/xRn~f̆m֓J,g[H8%.'7r[۸ -'t؋P4c L"ڹ5ӷB.%eҬ0Uf܂yd|gY(V'L똤( dU,M`##6A4ZT Mƈ\CĐ+, Y޴^bgߦ>D3ާj)cP]իF,펨|