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 *7 \|l ]% HOL-Quotient_Examples:threads=6elapsed=26.754cpu=41.020gc=2.440factor=1.537zXZִF! x]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%ԱCI,Qz͜#Puѱ]|X#lrYR ÜN0&X%&=諴BEx&S&X!alIb9!'?~A!22goUcjlC"2u}l׼ݤG9* % B ul7wzg@&UBe`![:BI6um.iSP?c =1\2PO=v=W=7&kE/ rvXT w p 9~'2}U%4Zdd<%fr3}jvD;$mmw]U S2ޜlW$[-OGԨN,?v4릜2ձz ugroS?/LIbHZXmxyyIn'Փ1r18ҖıqI-GAkΞ9"6Xd&g"nub'&cFF̯4E~SyQU2FTǘC"vyZ9C fdt@N\| {)x%E(H' xHڙiM -3pE{_üh|C7mÏ:Z jY7H7)fo{;Msi:-3<*W.?#j"` zu%'Ѡ[kDP8E [Ȋ|??uEC|2pREvՐ}`0cIz Hq”7q)yh,7hu[rW"5jRVo9z5h+yҐ,܁@RA Sh=+x溜Yp*"p`%?@ tZ$(u>qxhtzȗ%~`%ICryMXBk 7<>F99SbD~5FF糸ٺ\2ٽ$$Ppg@f1x:>˔|^^_l ygvLW͛_nEG(%2󺍀&r' Z ^zw?ӊ7o_4m2S ݶJA&(K(SpħMxyB@­ig"]ZU [X"Ǟ6?VZ1 ĕ\n13NyRkK2耎WTo*eX-Fr^27kgd28q20F&_C UZfw~5I-iaä^o[4aڰD32c:pIiwqd|޶Tծ44