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   t' |t ] ConcurrentIMP:threads=2elapsed=23.018cpu=37.048gc=2.088factor=1.617zXZִF! 6]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*p|@/b埼dC``(͖! ghIT#쎅.\.s`9qUfİH9ѿjHo^)~@ c.;^z'}#XzeU\,;FVʅp*yy>!DŲ?Lڮ H8=ը-f@>TGH5boaߧXVX3Piظ̀.oseJ|z >.‡ !\&x&2q}2wTJ#SժS4$ ;47  Jf8t jcZIm)S.1yޘcqdN//DۧM+ree\-c~`\CLtz1`㗾mT՞|i磞tX)䄍5cj:v.v:B}\QPڑq0Flӡ%^j5gYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?w1<7WU41kϥ>tt&pZR*rM ?PǻQ`DTJ Yk˼WDw;חkkb;h_Nkw&齢QQ؀d  PL_;Q;gYZ7zXZִF! z&E]ŗXi%W~лD>n \q8*~yj Uz=Hh]ie`^ Ex[\V >_h ,i8EbhS7\aj1z lik ,&C3bLh!h.2+NE_F4-/m/>dzgjߍzx~P`)H jxֆ( !5.ʟ#VV<<%ymfZ„;dIH ./2C3"y0W7Ϧȕ΀bKq2!]rTWt&u扽5b]tyN=-a*Ý .[ҬѶ <[%*DZ/@Wo԰qנxy9_^v> u E\OMM.Yٮ|꼼(5\2Pϡhi1RLBUX&# $A;Od)D|k/-d{׽\Յj}GlHW! g 8!3@k^>L8Ow HZoH?Ϝh-g1 4eux!; Tt\ 2BAk疁i> Z}dgP)e FTj