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  U5$d ]/ HOL-Record_Benchmark:threads=6elapsed=127.679cpu=213.652gc=10.456factor=1.677zXZִF! Ry]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2"xH8L{]}䧞9EZ=oJ!2-w".UgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h.YuddII~^<q2Ֆ)nPR`b-8k^{\*}YZ7zXZִF! U4]ŗXi%90.G1'A uI0><2 z߁k} MZv6hS>FuFv)$Qӑc熘:znȲFkiޯBSQrhuKTk:;sZA_eC3hs~s+"2PTu5ƕP}r%F[:T+y6k#5 ^ ݗN]i0~8 A.CZ|K9g渁ȣW@] @puP;DM;i4[Z)J#mBwfxU=)VnIwvqsExmU~D; #=s7tMkn$vYIzϱs2:lRyHZ;n mE'y;igպPwIXAd:Q]Qcb!(dPpq &3?>{W&uY7D'P-l*@"1K#cK 1x>lYgR}0rhz#BMy(M` xD#߇JTn%]BiXJ@R^uşbgɱ-)ζ+͈\6UvpΣһ18}Ǯ7/c8S@'4)  5 HOL-Record_Benchmark8w^ك(Ԭt+'>GGZx+Cj)gwJ/r+Gď4lˠ0H/:~jfSqvd>W Hg@l ( ;D>dGELyv% /{#򵤤1vLP QԙexQ;CGiyoje1΃ /Yhi ׺j ?5ϥ5ee%jL {hVyg8U'?݌ }\3&3"4;z1 hڶ5tM[sS!ѩvo|fW@d@545ƩZqs4Ɩ˒"3Г`Oz[Xq!eb `M.]lD]V>Vw].aa6@s (\Vu^r>N>oPTe:},z>F􁥁`;BԦE{1`(!(]*>ROk XeOߏo@9XihyІ* "ΗbՙapkjY8l%_q7 xxk-,[Mad'6"ܝu14R1[`#Sf\Xp:(eNw;o |o8!iH&o"OK _3a}ѨPVL~5yaLs[]<k@1<]IWe쪐N[,xa@/Ԕ9lBI4]ˈQc,ɢ(C78@ӁJř#-"!C#&briMSKK}ָe(W|[W[rK]b|Pn7G]@G}Tfnm¤` [ewU_2WoޗLSː2bgPu1W|?J*"J?98*@߮͝@tPköd>#Vߕ4Iӥ0nXH0d{=(lF/(N Rc]v$h,g;Q`ve~"T-rJѧ0ApN*KUaΪPǜ,w&t9 Ň ݇ɯ_nȼЋYk`' H FUJ𦾜8q}JӀ.c_LsDFE CkcL8Ne< easI La^m6[ǢCg=^ۜ4qfߗbFLY! xζ(Ey<&q EDm;HĖWCP-lk&P?@-ݰ514ȅhopMoϔb' $Jrf=JnT/.x2 6 zϻ0|oNP/Pى塩q#>2c`$uu%7Ԅm:b؈i_ eco[lU] LR#B& Ȭf+mob;:<(2ŠW|}d5Gnx;L؄æ1Y*GB z}h"x',E4H̽bfjX:V$<7@IN_4L/cƼӌZ}oam'_' 9 !V!pt*Uލ,&;"PAUpN*wD׵h̟Υ!PP|ɜ^$>O|h@Fuxˇ $ãQ)c#)?[ԢYl謹+ 9aƑs½NpY ) â*v3}l,$/Ed7<.7(ش|AQ"y[4P'9NH}d%UY,v&h˒# RiִÂr61, 9"^Q@۔ja?Ww#}L.%9lf N vh TJĻLSZQ*  PH|USe9G=U=FgA}S!L\rvퟡ%o%uڰ]h-:uo|"s3^Rj5Q ~L]+ťaM"XM`Ff6r<63 ]࢞&wsCE&w0Ωr|Ny3L\KY͖X1fș˞e%2(kIn]ͭ@qf읡z҂g-OHp熌G$@40>,g36.` 3yBÐSx\aj} ^6ě$]I;%79U+.EyZm:0`ු^uo\-%ճ X>4cnjjv⣘VRAsD;j(ΐlPXRόhmoʉuj.j{Inrԏq;!vU 3_PX*>{^&*ZU#2Y˘t4xb>W.†mFF}jȆZ0mT(z`EmVιi\ -nCQN3g`Wv˟m EVxJ'lP/<0