SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 CC:% |d ]/ FOL_Harrison:threads=2elapsed=11.413cpu=18.868gc=0.680factor=1.657zXZִF! ~]ŗXf1-q恈͐7ӺV #`91knTyڧ2F ]}Pz36f5~ !VV(,`6`arG1wnc!O(NSbHݡrr+ (*ldZ$VҤJݗh$n"Maf5@ /Ln$N՚zIH&0*Vk躈&K͜!{"KTqI=g1`qiҟlj;tM2bKS#!-u튥x-sd,|;UWYjXfc|0Xi1V).] ALVoe90cj̋0??H*zsgYZ7zXZִF! C)]ŗXi%W~)ͼ(Bިl8^kUܙ5${^t C'B`KUnCARrKn E yا(Ej D-Ewǵ)hg>v+3-)*hNBryqy?MB< W9[Pn̆Qs@6"40!i"wO6H3IUݵ֎wҁ> JuTO:$s)G5M~uY6" PD99iӢ3RJp(ij>[^3h[<}H;KnLGjw %duB;HpY nΞ)놮}\<'^ ^6É|F?Y @fΜ_2Im(q ^BJ4sb{wvօ B+JI\0ͧbTfCQF 7ZsMJψ+ y䞺{"@=0o_1JP,-s_}Eن] ¥ciu"ָl.g" \ȉ#U!>ˏJN6`r85[s˄<Q]9B =BN.G+F鬏T4Oj!_F-f%u| 㪃'\잵DwWMs?3?^skn;8 کٔKA:ޮbYUc(a&vF6jӜ%ZoMK{}9Dc_O\DjIQ|T{a0>p% t}\fen~cr~t26 *)8mZEdIGtr}wTcSֳƃ$'>a0]baGU\jVyt7i 吨kz#aΊ'\-lӠ=01}}gYZ6e7ec55cf16ad9457ed86f6b73599ef8a196753ed6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e % FOL_Harrison