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 vv{) t ?/ HOL-Statespace:threads=2elapsed=16.947cpu=19.384gc=0.560factor=1.147zXZִF! ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]wO ]ȦO:_bwM&~Y7/|7p:֒,bRz;l_2"N0KUZM.?8qP"JV7&)FQf1G͛5w'Ļg.RmY=%SNic=z87=`zmm8c$Ku ) HOL-Statespace9y^9*403sx{¡+w⋔1#)awiYqWs D" n0xE[=|["2v WL+dD:H|枳Z;Z@"MͰ{Ư.Ґ=H\ -S ܀"P~RL0N tZȻɮvzhO _XFA:yãRh)Ue1/v p,}rъ!/[CgYZ7zXZִF! Y]ŗXi%#dBwTW'rB&q:lNm͖ an'o1&{98jU}0c#7^*Q!ρwztu2ꦂFM%2+8ןwچx~jek_L`[-YP'lk|R{v֡kU(]D.A$0!ԞKf/"g*ZDlћ])1]g7LN`3~>}!hN#EoY 6\Qyɟ4?cr&xp- 󪴦hM xZ/aCĬI;`-맻KE)~LΦCoN>ܒG(iM?,Q㰵'N{~Q`հ%4ŷ2)flt=x94YGCv涄YܻiWpEp9s]u&Y3(o%B~}]\(E ߾]A^=&%B$9c.r)I@.MqeԌvCG,00P$֜I! vwkCP/h`!ᡪdϾ+3|-d 5AY~E=X=[K_sT:v )r\[-,Cjf{mJB v+Py4Dl \!M?Bt+3wT [,cyC?%fsj~ J#1N. ~9](2=yE/{K4)/MB&?ȹ; :yv">hæ{(||ʫa|IxCgMR%$aQڔa%OGRn*%DeWmQFQooa$4ϪhlOxY!6ӯԺXX|!{jήAt:MAo|j\-LEP0M>,"-˸)~9+ g$@!EY %waJxY탽cPNCYs؅fJobnMM1 ׯ #ET |"ߺ$ҋ+xYKw"5FY$|\FjU ! BԷd0Vm-US'PWJW>A CgYZ1a10cc298df6d2efd8c06d5527c768032d6fcc75 26e40afdb7e834e0eba44f1c492aa43d0dd63676 2c3bc6cbc40c0bbdd7aaa457a86aa2940c328c66 7972d027a01fabfa9c0b761a2151e7cc5350bee7 8761d72ecfb625a03c9ce014dffd9817238a9ecc a9dc8d6e38d2b4976a96c8ed8dc062bfc06f0721 c811f9e5f506b1b89dce4b8953c1938cc733a6b1 d43bbab3003daa10143df8d9e0c131b7e00b707d ec22b1b58b534dfabf8283dd0e71096382271804 ede24b52ae24c8ae2ad5bff52702f9d05f71d87076e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575