SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info tty Td E Tycon:threads=2elapsed=9.639cpu=17.720gc=0.700factor=1.847zXZִF! S#]ŗXf1-/6vR[l>eMx?/᣶ކXKvCt:_3?pi v4٥[#Jls #H5(h2kF}\L{@Qi_ґ"LS:+ʍ5}ge/3CzݩN;޴͍Akd`=怤wGG~Hቩ@$8guյQڒ*c bѬ":{$%9%>yY.t~CDFig9(9Cw3,ShL™Шw(*9B5?z *7U9Ǘ):è}ny7ɠrn|-˺׏ C7dx(us[AsA?NdoS %k_`5f`L8R@GcaՀX{S]FnSCh7 BFk-Θ "N jw{]Ҁ à ˓ĚJ^`d^f['jE9JI$ݥx|vzjaLVZD=78}ꭌ0xoOn률r.L1yRH[q8 @7d9?jw>~jZLz:Ҩ{{.@M[>;i() < ,3qJTvaJw~eT_g}H,qcP?@a;D_BOqAl]Š=qa=0N  TyconCW2Dkz ֏ZVXSQ\)&2G6'݅O'cƴn`3~X~4dhKSNaB񝨕C [*h!{d)͸a[BTc)-5cߊk_2Z8Oէ6j,+Rødpɂu=_ nz7h ӍKs/%Nnq Pe,)Ȏ2NPltGq)ν-9d|^2*I xlS*D&$n^E^FLd7¬` NфT@eȘ?G(sE'KEF$ɑ5tA35,,w,`C.:wrX !(kdz_jYHPGll5ȢexuȱS[ ]Vښxqg "/s܊ԫIފ-]a){ v,7Ν7rXKۈ9xGJg}UͻH;ɰ^Gր@Ȅoj唭^ך̺,6^N]Q+euT׆CBPP䆺]^"&T-OhN:;8mv n7@=wUcH)*:es@6 ʈ-%LRC)mȸ\EK(Nš+d@!q^`ԴiaR[Ώ6)hi:o_%ڨ"('>c/D?f0 z=ح lt`mGȠ:dTqQk2yjkQU9fd  |e okUA52.)yYs%p(ŝҜͬsE0E$ Zi|1B ~zПWjn2XКor$w˦^ǯ w_PsҘklP,rERkC+JѮ]բ5wǩ&6KrB~ۉЫ?1Z xFq%IYg,0vz`3W"11xswR xAϸ}fB򢳂{VԗǴւsRP5ްfN_E}id8P0'&.ihSThY=yScr*Aԕ@#B䥀]ĶfbB`G" bOkpegYZ11d2f772826750b80c536cada54b8bf09dea5a2e 1fd9b5352922ead1afd4e3c8107e2cc83e3b2f26 25a8fc63d0185dc4a05fabfd76215d1022cab7a4 260d43e3f891ad36da4e228e1d2832c103ac4cac 2cf2a3bc01f25d2422342b87d93a704ef02dbce8 4144758710d5129c96cef7ab17cf219cdd99d60a 436619fb4bc4ba25a8c192bf4cff6ac687e93f39 4f4ec1adfb79042af40d0169b840facf4c85cf12 5206bda0ab5048aa5109e02aeda8fd55ebdf7aa3 5eb4dd6aa8cdd5e0601c2ba2e276e6ba065adaa1 6c2bba698a817275cbc14fd790731f7a6a0d01c6 9cb2c03f7d5a9bd5eae850d1a5cf508c3841096e 9f7147e9139a29dee5027cace165580e1a062196 9fde3ff780f61a879830dd7c191349169bbdc5e6 a53f9a7d35ae1a743e0277643e6017e50a3f96e2 ac76c7eee28bac49e7ea4b983ed243d81e98565f c48b4da46e8a2ce4e2270cad53bf92f983ffc9cb d09b3f7f61129efc089074068bee425de33dba78 d2652bd3d34532cab5fda4676dd92ff616494f19 d50f5354de7289696b328483a50923eaf1cef578 ef531c0358e3fd50519e1c143676b8ae5d9a8b6a878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449 bce012b53cf78e01b5677362d40ca3b82afb8fb6