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 __# $| i/ CISC-Kernel:threads=2elapsed=22.461cpu=40.984gc=1.484factor=1.827zXZִF! 6I]ŗXf1-/6vRZx>3dd W4Xhz0a=s`P&/_ϣܣsZ`W "$GꟘzs1oB@:/5Q l]TcrDF_ݫy.E"Ueu9yò|0Z1*BNZj> v[!V(Z/l1 ^Y} Q] l]!'9h3Geީz ]lIt|t &N>M* jimW`[ I"Բp\<`J WJR8A?9Yc\YM:Ɯ$zۋR\//? G [1͹aҐe;%8krKE@:`wϹgN3+dW- ${L,ţ6X5R$cƏǸd┇೺Ϊӻgk16Aごx Hy0}wsIP2I>),ֈ4e`o.$;-7Hz@ Zk<z>qh{>=YPFDRQEnʄԸݓ_$gˬia|?qXfQfcg6SWGDAt'~j ?4½&bn]M.uzXzk(Ʀa|U-4~`7_XPXu78k9Ë&{4RkW=FNMd~mEM_@8o&dh\]5v3YURF}-k; z>̤gYZ7zXZִF! ziv]ŗXi% eQB[F>Y ^cf:\[qeKo/iԾz蚭z[dKŠD=|g>-"i,TO΀kfmï.V$#_s:}>q_,rNPEtτZdA)-Fj1M2j,z%]h경:FV CJ %`"?Eﱍ=v`.S4]TS׃4uu 0wd5XxC:*a^XlA]ve;0mlgx-L{<,iTNV <$Xb/'vaeNfxpճvzDC(Pzl﷏fW-jeLORK>ϯv,;qLu]DCx3gi`5 x$ߤpij)C,l+Ϡfd =yZPWN L7UXw [oM*V8į%.rFŝ)2%0!3 Z}k=P\'щ"]XVu5ѪC]Fc%Gؓ4ʁY u@>GJc F 5)܆ͬz6(ӳ8 %?Rꘀڡi~5s%:T'Gu跛5 i1¾<mA^&pAُaڄq(p7OYšfTj˺ڛ!GA2a ( 'IxX폤duކ,O x+jZ-%v7¿`1ip$V:8wz807roh(_3:?;!w!D\Gw,q+r&D 81j&ȷ$~Q3B(y/PQV.uFDonkt^MIJ[ߗH^l~!(qd dd'!;_wGޗqUXN QH3%}o"T)d)K@JP9Ymp SzS\+D`| vpdSbr(T 5ygYZ0506f095c011835c4f7c437686483120ef02a687 3592c30ac1fd38ffd526d039830f81d754495946 36744a4124e740bd34455511b5cccd324f277a13 3de2d68c664fab32ff7a3aeace0d8bc43f924879 440b637391744a33a3e30aba8ece811488c7e9ec 4aabeb454f10c247e38df7cd714481f60134bec3 5061c1f8ccf840f9ea08ce306fe0df979ee274de 647b29895a9a234f8b44594b5085767187248cd0 68d9d51d23a8266e670f046ac0a501b349064391 73b9223cabede58b98b327a5ba24c2decb0b5cee 7ce1d219e87e3a78d77a826d66242aebc0c1d8a5 8ad780413248ed3f56d4f471bdf9d6b24491f498 a472b67214a1cf6a22efe58c8a3ce2529602cfbe af88c9306c41efb487e6787c9d795ec3c6948c83 b8ade7f9d5f7d4712b723e66913e308ec2ba70cb bb7be0def2547caa9c44bbe0efed558cbd09916e e348d16c420645f70a5d38bbef9783570fc1e619 e41054397abc751ba6bff1a620d2944ddee02bdb eb59e99cf39fe39e027d7743befd21a29b92a39b fcf4d458aa667a899f0ce8a92bb49c3a31cc7d1b ff0c2da3bed4adad2ee8133efa39fcb5777340d4 ff997872fbc887147587770dcd32855de0cd9a57 fff085c83c737871c16986038cf3c59cc609f636735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa # CISC-Kernel