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 ii% \\ %/ FOL_Harrison:threads=2elapsed=11.343cpu=19.140gc=0.592factor=1.697zXZִF! %f]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=]V å'=:WO9U#˧ըS.fg)VP)N^Ĥ))9Z!Oφ A2iO1LDx"*3yA$Ͷ}zjOÈk % FOL_HarrisonR4D`qwnc߆cϧ6|^3XJ.o3hO" /㯠bsLXOvur1m&C`=2x6u[ьQ. #t7G;\Y$S*{yȭή:O;Nuvo%jY-;~wJ.Wn(_9/mMDž^Ağ*&R&I`gMbz}K_lbNk|'M K:#f%jdOBlF5P<8E 'ϢWUng{ܰ|Â GD8sAVGgaqFFEJ5l@qx|OoɅZ]Я@Z8O[$ylnqho vmcQ>uރ̰Ud -zqFnDU{ZTCfe Y>BWw Y` l{xae-B&?ua{ X6+y_PA+.x+qt3D{næ[c#쯇g%fꗺO߳s^}O4BU9]4|ʕY:V~RѰXGWtZdz偉,"^EhT VC}, .6WaŗK=gR$1n`^,-L4&]GYH?u+{n' Gjk jIG[|FVWyAlSvmq?OqM;**8]_[k߇߀\={II5(rjT8 pIB 1!jUо(*tvx0// ݪ zN4(Ρ+ꋞ ;BuEOv{RYqgrLyU,*1 #j{ nX]n"(Qy a Gex7e$AqfY6PQ$5+NB,``7|B LiPj_5asy[.r^$ IOSg;A:8nS`Q}2Μbl2ݝP-V>%@VETy3jJg)`޳1~FgYZ2416511848c69b845f7c8a4ec82eefea0fd138c9 31755525071793d62f6b61cf93fb27d5793a7c4e 66687296ac4feda0efb87a995b336e329f9c0dc1 daafd816af788235165bdb8cfd09c393597c7cd6 f0fce7eeae1ffa41a6f0691e21062958b47031cc3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c