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 994 d S/ PropResPI:threads=2elapsed=16.521cpu=27.964gc=0.856factor=1.697zXZִF! Q]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_   PropResPI/6~#d'^ODFW0|`*"p˕9[NSw3@cݰCLlsS`'ȇsbs?!gc:p҂M)COX:m4H7z7uXmtWazO5G8#~S!i~h;Vg5z]H0˦H0*N+n,/Lv+]׺5uZK+])8\M㒽{.fJN(E1cE}w!sDӨ>IKw`s}'f8RȞv9]|g- LIiPd<}Qt*~$zmwOz{FnI6rWlU@?MȻ<82Φ% oYif-gX'}`G>B+ԝ|#g6͎RiC]:eBa)] #@K.bu8CKUs0db2X9vY~aӰjR]6AwQkT0-&r#b43*J6FA(ёퟅFY@zkE=v&;298(0XɻXk5Qy`LPM$u`d7NړrmڀZ܉]Z19&dyLrYjPBeB;{9;01nR Nf=I*ϕr lx ,M%sD?Vkɦ]Srx*W(4K0] ˌzl,Pq^ gf'ȱR[5k8|Jtae%1{4h_<͂ tۦ@%c `ZZ laWB!^D LxG7Ɵ!#O9/]J׺zu\K{;Wȵ]FȰǹ$^?EHKwEm塤͏(S] n|r4%/:? V1eͯnELƧ<%8ԕ#9洬_dhnٌ!r8g  w$ OR]\]Ch{x:,:gEJw|^XDC@ߟ*@/A#% gYZ7zXZִF! YK,]ŗXi% >MqO%6KvǾ$V -o~qiiD dGHq'٭ -Y<[޸(-Āt 7_ή00wF,ޜPqWiPPc.:#ٯ=2.B Z*otEM.gaQV}VLlv#\3qܵmbgfFO>?*l-Zw'EUY595**@Cc96dzQ§yX~Ow{^d N`.DG` e}ߚbA7$-~MvY/ja7 hXu2-VߑDžTo," #q(8=mumD?t(y\} ̲$gYZ2410d4066ae373bed1722c6597e4e0d5d5c05661 c87f4f640e5fc894729a183fa325d26adef81e23 d58ecc0b1995d99105c1e5da62d531bf6634eca3 f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcd3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd