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 V Td$ ] ZF-UNITY:threads=6elapsed=4.981cpu=24.852gc=0.900factor=4.997zXZִF! \#]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄēQ87VNFn>9.<NFG?5(0N'>jQB92YQGD .1 I&P XcZ аuhȶ)b*rZt48M`ș?-ꉼڗԍN)DAL"QU!}ڃk8ɬXpkGʎm&KU֗m43^ Da7z53D~0׃6yM="'d6蔩8;3ϱMح{+c_tx`Ec|HM riw/qEBNQ A%$k`pSrNXho,sU @͛V=bynZh~"OzNo$e8h*OFY^R cʍ&L}KgYZ7zXZִF! hk]ŗXiɟ9 i:4V;}A<<ګMP7.QFueTrs !^cSϼVDW|;c&0c*8X m2"uJ-L).|M Sk[gjkܘi3_w]vX7SxA6 qj4=@v|\CwۙZ7CY ;&wr[ťTˎ .w xoMюeЃNsEөT(G0SefD7=&`cǽ.Q5$L2`Qļ÷ G`>UnEu'lG#裩qݩL?f-d !gYZ7zXZִF!  ]ŗXi%9+kR3Tw)Se@4oN\6]o]v Lu}`zR= gvXq* Wjn1ik)\avQiBmnkam;+u`61gB \}O@>̄lCK`!OBl,׾вun& ?fre7A٣^p 2|1/Sk3ygR&>٩6 nO:~=3p= by\`ljv5AR#^uX [<H< B*O}dvOej' NFccH|k2 \ե}D LQͭȫIR:H*+b"j0@w3lKEKyOSֳcuW61#\#! c|pm ThU@7X*:$,7xO(1xC?\iiRmEwmlNmT`%:sT4b7 z#5gF Oo46k~&3-8f#X Lo=0LwFs]NB~J6GlHeZ 07s?҃DyiNW,::crha[' զX GcZ? jC^c*by3<"gYZ8677f31d2d8897fe20edce13e07a11a7feb7760d51dd6ddf81f32d1521a081613e64272e00a7489b 47f7cc2aac05d40263b38b4abc18d898bf695dc0 fa31a3583d6f3d290ed5e4c8596454b9e3a570ca   ZF-UNITY