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 T1 4$ / Recursion-Theory-I:threads=2elapsed=15.599cpu=29.192gc=1.260factor=1.877zXZִF! a ]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EW}8*$ P;6#VQa +t [s`RB|$ߒBa5^jKÜ=Z@틑G`=tGb +fsS4&F,) 5F|(7 yM &m, {&y?-nYd n>zLw`})ZoveY炯YiaO{J}+4;S%bW4}ͨ2 [wL0/ͻ4\m=Ep]5V$WBض|ÝeG=%жîJi`)E̫S SYނ2!Ms\]4:ZDvKXsaIe4pRJ,RVx^gQQl7y}G8w] oE~ξ}/avPXj?41Rop;h?!"RnIl⩉wӂ%V픨7`Uӄqn&KMGq 68 'kC0>V zʮ=}YMG? "Kl[H|+)ͥt0.pRc}8>ӔӀs (w^WjٴvYQKStyf2Rv=76|1 Y0nJk tmoH iơ39ab2?ت Rbr^f;cɬ?s7<0mv~ՏBĥ"5umbY m8`XgYZ7zXZִF! [L]ŗXi% -ړ$y#:u> mibS5iX5x@ TX>H7'ѝݏ 1}E0s4;TPu? З8I:QTM17LLK{,=_IRkx:bSQ!T ;=&j?BVa"h IHZE)h)(Hj1qG'VDd=~LKrN?w TQ[7- 6ӔVEVQzl@ Z{2B-<'V.f,mfXW^_TV%:wKWIC]Lٶ0GO|#pզ+^:[o ~B27d^IvNm zy*7/Y=<# ̇D8.[ yPQrߨIV$[)XCSEA58N .SgW5ax$_B9*I*I:iײ5BgE_ ZN#yWneGyīl s)Ki.&4famyěPs[^# /ESa7ܬr0#m%Q|n"AXI ?B"\$!_pQH2lxỲnowSd ˻ӊТfw./=rty9HkCYJoAt*d)6ښtV$rQRTE*zf9 ^BxsWt}| ~Y1 Hrh{(Y&A7ƊJƷa=|K߭X~ZmJ[mim^?"# P-l,K,CVGt)@VD`0x2x]xʘ= zF"RsH_ OCyث◸$M#$cH}I(s(i.%1^ܻL\0$ZI5gƂgPvNndS÷S-1YL p5Aǔ"P R EgYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 d0b2a5c78646b6a66865072d4a74a3717f74bcef f6907765bd86ef922b2b6fb287ff969df46fb1b870d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9