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  : :;5\$\ ]/ HOL-Record_Benchmark:threads=6elapsed=98.440cpu=168.624gc=9.220factor=1.717zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2B[H!phFQ0*::04gWmxgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h/F(rlix`sn.l@gfǮH0lυj]ON}YZ7zXZִF! ˯e]ŗXi%9#7e- y W1ύF,liN0ѧ+? (SzeiW.{(;YI+g}za}zƧ2:I,&WlPvl~!A&8,߾OK`R  8Aa@.raEDvPTf:Yk=>}v m]d?kb>N 5 HOL-Record_Benchmarkp.]8DH6-% ^q:CvYtHĞ "d?kMyA:TqQ n5F_'Wh-hE^X8K4<1f$,LB  ݏW=XuXHu!]!b#/0%HBef-m8 E~+[Ѝ QVSb$7Y(YM1de>^U)Q]Z:Culj?@Xieji/oYKfJg'$Ղ:'YP 865 7o}K,ie_XJ H=@gŨ=x3BԬk MoGUCw҉G1F*Pmб:-aPߊթ6 ‰ue>`X̰# /J+uM|P9KDiUWax5Z.K)Y5^q5nF$KLπD7GdC7yU|LkدbsdYc!, ܜ=]t;׽9+03 b~Ήu#Z<0 !tvUOb$H%28b(=K anD!7:̏کˣš ô5hb{IѹraFW]7X/iuPo.?Ʉ׍V{Q\egk}_J5r-?'CMiNWP 7GT<1#RuX]t`ȢJҶ?e˘!g\cDȽpDJ9H)BkA$Ϧ*P'_R1)3!( ˘Y3(dʾEo!B1/]ZppeD3`|QJ7C&"?ˆ)..'@ـLlS ωp)6` Y2Qi!JQvt04Ao61SDnE.BOņu*7CٰS5S\PLJ !;K|x >^x 1IV٬2̊PB^) vN#Nߗ96QȞ O-of%F6o f[s>]ˈ0]Dxy K4ysq0(zcBoYm7j B-mi5\62zd<_4qP &KHno9*)'/48_G [ \$GvDP5v(+WWm߉fػ|ԀaTgmigEMhi CV>yz%vVF{e+bx Bt8Ip(]E&tizau?ŋUFpʩXUO S"KIA̦)!,|L*Iح"EpP|*n`߼D4vCΠqkPtYo`R՛^rv-G{!UJ] Bހt|ӵ<1hjH^x-RϽ}5ɁLzA *O'i9D[=/Gw?֠P`ժa=8\| El0k_-{aGjNZbp(6KaTmVމ?;ϞpC{D_x=|0 yAu1^ Z/ / }P?3Vk{4,Eco3M-> _+޳u8JE*_!<.?!=Z<ԤVRtUAYNjXSź qsx] M(9!