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 / dD ] POPLmark-deBruijn:threads=2elapsed=22.760cpu=42.104gc=2.604factor=1.857zXZִF! ,]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4LL˔M1@JQNGm~P*Q:BۄOUniȏՆzEV($N8n/q(R*Y2ߚ't6KJ}!8X-NL-blzqФkDt5dU ?gkih\=Ohu:֜^@św \1bPoZO` ȶ"CؚE$ѿuq@sxw&nJsݰ{p@'&(~b۹$WeuÙ9Nx%ò5 ̨51l-17czȐ "\]gXfCg)vkr_Ǎ$^TP#-p +x_T/̉Rd;k>p+P骡VvjUqY}R p ^J)yŠ wU{s{?TWsO>$&ZgYZ7zXZִF! ]ŗXiɟT{F moEhuFwY@1Έ h%mqpʷsk`yݺ:EM9VWFׁ, &{qWNѝv?wi6u?4.U"αgYZ7zXZִF! uz]ŗXi%9(OX~z)9p2hW x ݀ކS$ĕ:sezo%[aO:HxZl˹u魰, 7nFީjι d4=4.y&[5’EoV܁mHkؒLSژ:Ltgԟ.5R _8Q~s!l}?j0`YIk7Q~E̕)l U7:nqIjj2\Pߡ*E i"(BXW.TGB} "NP]M:] ?'fv uĽ͊wsx"HmOT 1'&7 =pt$wa a[EzWxFLG0cY!/zLJ^暵AECw-jtrpj!5MWu\@1/P ZbwrV~`ugB'Nc.k/Vwz1;KGEc/mԢD[ZQ~A=K ??7 aⳌ+dnaTM _>c>7I"|ӷ\*>my؊ K"2G7_koc\^xSPK׀p$Adtms10T*v6pԖb[ӵd,?8l606qw_RuH?B%`{>^ᢲ" k{Qv[F>`x̕cmv$7tA7/ Gb-PREl:^yRCvUDT[اH/;kHgHUMԂS%K[ɽCu?*6$6 V?;%j@qܹN&,eMӒ