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  X5,$D ]/ HOL-Record_Benchmark:threads=6elapsed=100.082cpu=168.856gc=9.064factor=1.697zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\24F@9-p *ľ`BaYG!_(?yR͜CKOE<9 -?BqgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/FcO& LkuPn$)9_k]*U}YZ7zXZִF! ]ŗXi%9,n'֤Og@Ȍ "U*|-8cs A:C&:,s*bSD*AFLX9[K߹(A͹/7&s>WeGx 3׎+Żs w=|۽;. *t%Uؘj*D0' ع1Vi܃GvLBJg✿ΐw~yzY[<JWFATw ĔMW. Ȁ!?ƂuHR13$} RBv{iE"5_Qk\D0D"X{JPoՀAQ:7cA2 XYKRmכ  5 HOL-Record_Benchmark!i.Ԯ7QdjUwu WQ/(g\' t-HxK a8t݉W<B.Kx+{[9x麢E2'I(#XP! ,M=-r WT1}~s)aA\V$nk~*#a%>8ɠ_s& ˁ֧/YpnK} MO3l/ٙ}Bt^:* 7|n=.Qoh.B"<>{8㵲1g6ۗɍ:y P՞ B]]`e 0R3p!;1\$>=L˿nH$Gn:FbX*A66Xʆ[t"(ƦtNc;@F;5Xqcҧ'%wSeFORޅeTd ^A_А`mvC[,tU=`y ۡ3=ꊝG4x*t/'voɀۙ!_>j@ ,.2{v ȫ`|M^oS;IÏE " Ljeccp.3?{a=F{~(Orp^ qj5+j0cd@[v AeWiTSgO`o!pᄇ!TxC_o{gD( WoF"j&oNsF1~]0s*0Hgm(*c]n?V.׉$nm޾oW9?eYf&1 VJ=AB "/җ=ҞF{ Y. zruOӒ=mB P4G4q.-pi!C=eǺ->:@O.~fź*|G!f~}]A:p&6#GƇp `qvi,WDpElM))aV1UU 9eF/:k&I\}Y4c~MG價]ݽl܊+f/u =G|jɖ}%fCn9Sw8ܡOA<?' -hGV(3g{ T+_kvP\6Q"I(@Xtt=~4 ST87PkRybƵW5=t05cIrijq{furxV(5*WM8beJѺqV*5 /cttjFg7Aj.'襻0e,co{:;ּY>bk5LۺJ(y Fj@pFL]zɼM/|hܒ`ȭn,B݋^(QTmub{ ӧU] C\\w׽b7V E0b'5.8N-CIx\MűfV$m -~QXRG/Yu$u CXG _uB*jrs’+B 5h{`g#r>}א>w?P j؋md 100֍-aƧIhvڞۺE#L}ٚ&fEFqB(dx嘋j|UxL6<^iJ#–5)鯧;h"65;Z73li.蝋ER5WA6xml/[ s6ubH\{) C'4=뇘9Z^ijX N,˵>;_U.xA'8#c'(kUq_5G6jsA]IGAg$_,я+g@ѩ"aXJSŰzzl,z0YÑ_Ý\ʺ:\7Q/[?H)sWmyno}zUݲiNԡaAsXUܓvaHEp#z@3zO| o"Qg5vs&oF1F]М`1@|BջPOA|rvҿ3rC0H/ cK6:iLEOPb.)%S} mbk]uɧzy56,79m>jQBOrR 4u1 B241ET嫚=(#I˃=63B@r=c([j Ƿ+7kfnqBaP1<'4e"fWw&6n I(n.Rp% pwOFCeN-X)$ Sk'~(!PBc`n93Q\ jK_T)4Aaɘn-l%%:hg-+2c]ɀA[sav1Oo.zLXMX92udPfQV }>սH /`(6TBҾ4½ uˏ賱YܘbK\l8ҒJ,'v8͋t2US/cu+H-T%rVr'tN8}PwccHYԖ:,}x)T H<;2m jV'L4lI(gTB)̧ezl2 vy~  9rBZFʛedWX's誝/Ё] 7v}|R3~9q= xGŗOމ1)ɿ9$hwe{=?rQ5CL;K0>_@Pv}Eƺ: f`I 7$1vb~VE&5"|ҝ%0PXMddTF`ؖa70b #EM~-jMmX %[p ['ߝ C^J G2 +[NJޔdp #@!Y_( 'К-"½6ps϶ƩYkƇY8۞;]]0R $5īg#nM.]8fWoHg'SA~bS&M3ѻbf?ҿ5hW0I!'ogYZ26265a893edd12d86a82d4e1070dbca4e0ba112c144fbd49de05d756fe9e2e19f640fdb8a712f8dc a414a4ff183b67646c55f7bc60a981cbc1fc30c5