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 l' <|D ] ConcurrentIMP:threads=2elapsed=22.279cpu=38.280gc=2.344factor=1.727zXZִF! V]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*pS]2) lKbGXQ쩧.04KfdUgb$VG<4t֜'bKǁZ\Btd|)Rzvn+V0%|;v$:t6PX-BY?iVzm )TC'1QImFWmMODZ,2$"j|jYBzE8nt}/ 3.+[ -Hk甭Xlީs]l@ss2*0XVj#ͯdĆO=Qo?݃1Oq'`F5Pifu78L?Z H6yZ躙I[:?>TСj(i_;,Ƅ9?M"'CgYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?wܙ#G-_knbK F9u qxy7Z1x\X G͚&= -H_ l'VH;)HZ,ߌ-p#G!!ۜzǑ;baNjr,dwR_vHi'lҘ3װW P%ڮ)/_e_1m}Q0BC]3toqcGl`-U3R.iԆ2)F酪{avCZmz4]ᦔq92Np27[ 39ζ'LߴgDl-ۅk׃f_ByX# ="Z%NS\m`TM]\$voلAxk Gc%6K:leI,~[t!E~ @>®)wmN?#Nm?8470w 90Wۏ(Y˜LY,@POX׈ ?fn*S$~vlCUb+ j[TWg 9$Go(;6%g2  oaI?2G|+|{1h∋40'l#Uc$|dWQbRAe /lnqz6jArjUmj׵u,NY}SuO H䄻exB QK"AQGtj!qb ]ۢU3gsyh7ntNDQ$Džzv.C"8Chi m@_xSe}Bry0kn=˃yB|NMXm6I@ |n:=& ܫK~avbi! {:59o1(~ Qն?%)G+zC997=%C=%zqxl} .q.*pz3n ob53k1۴ T2ygYZbb2ed7ec675ca36f94692ea98740b38911fc44363bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72 ' ConcurrentIMP