SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  P5l< // HOL-Record_Benchmark:threads=6elapsed=102.118cpu=175.104gc=8.772factor=1.717zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5iM]"oI{73st4qr/?'wzL~iϞ҉4}ܰ/_eG?%QV[/ h "7=_u} [>t֕ )RPMYkE DlroBk&KIn_s!GL n7 JdWή# ]D9[D>'K^gYZ7zXZִF! []ŗXi% -2o} @:d@d4'tQZ]kVWAxh H$mN2Kߙ<}FȻ )ۼvL|q>&0nX䥵t>YtH^,E'=vRo6+dbØYW_BO+._L5DEgij€/[sy2 _;`e,V8OCwk'l\lac\Jjx)b;aSu} aȽ#~Aa c&t,ӍImCg-#KEN*/s7-12$>W s_J6Ƥ=$& 82´yd6&RJ6SIJ"Vك!*oS~(<ƹܻT+L2%sgsb^( PL+ Nb[R> |nery"Q6kv:1Z56-)lo㜲GQ+E%9t2(GeHbp4ՅwtѼe0KƦxS1ALLA8(Z='W۪V O?3_ASտ9 vS<ߧqI%m5"vX&NUOʮAFe`ǗP魠c쫫nIv0ݷxotUZ>Z{6ɂh`Z.(AbkLM ~:mQ٣UV j2?Kj_t(_H {/(tƓk7B<7yHM b_0S7j}x 7pKUJi'*$sSlW@(j0GPg;XXB~d,i\)0_}E7Dc%?:/& F%j1ڔA # B+;{I$NǼȕ&2C6)SFQ]( >ci$gd:S Դǥ\͜JR[wɳ(<< \JS;r'6cv!:SyN.<8&~̂~HvBWyєh~NG2{LޱMxN!6DFBK"f䖔s)[uZj'26.Y7:PcP}am#͔u~d4(J{by 6 /SY䐵Wh1't񼡔v eD.q I˂"e}ItA_~Nq Aܻπ,g|5DAP/z([MZh=kgPhi)n}y?|~AV{܊v_&  $paPrGfh5wn3pKv6A%L**K{~Tϯj׌27ܬN;X 9GZYPyQf340~!dz%"~Xԩ͵xq }-HN/  S^IOc2sDFbe "?PhRGccsb i.d(Pzn<ۢXNNZHVnFԊmCw[+L@t wi/"BEGU+Q.N:Sp K9BՌ{o9f~#bR0gjUچ};l7,?9%'X9!_X[d'Jhza-}092`.K*v/"d= ,Y_Ofrڬ{5l}ߴ05?ŒbHgýf*;ADf)W,ظg=H(`蝓rv-W 꾞CD #K4IQSST3]JdRLbM)ePAtjIlTJcH: ڦsGQBQ|j`j" Sj [2f$IڼQX6y-PZdnr5!oL(~ N 4?̮Lf~к/*mc=>~غ~[TʎE׎ !p@fuG(5Ė>^a &Qޮt`9) ;.4&Ƈ LȍG)L}C5Y}g(| NH[ԇBnDq;xŠ?4B?.(0RW^Vę&4@魖!ډco u߰,?@L+WG;g`r#Ay7F6>4_f>y sKmchX<&+iǼTutq#D`-Uz!hpxnѦ|N 1`OB0aQ 7/OWXն)sr7s-Ssnk-yjN"{WN09,6=`+^VE$iQ{7]k>砈~^.pO=SY'< O%M-?۰Y82+7UL//̇ ?8b|&ؔ|'mSf3QRwбŌwEqLg7pW:T_^M16[ S˫[>Ӓ~ǭ0F`ˌuP *=6؛7z d]QΞV1ss=ͤN"zV򭱆shZ-i\~+$9Uh2IpA=1]Y-X?ٳaR ah!Y}!S׊%_]cU]=!-iH_ v̀{~B|{\l_gdLǺmo}:ݥNyC*1 =j&e`PG`Rή*d nC_4{Q&B35+ 넱ViyG bF2n~DK 5@]GjR,$Bs;݋ bk™gLv. V`v/TB DžA~_ꇾA5h]I~|&aa]Z(w>.\Lgud<($~۟l= XӲJlb]yJwuYUbyap=#h`/JWUs+z0,zW.޽ͼl kw@S&Q .l@~L2Pqgs&#Yo]3P:r# x}SH?>: Fnm]=JjוI=&#:&K"bI64fU)Ff W-XWk#"Lxj3r68іc5ÿ!ܶ"SgYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f867e6021bb7b814ab9adfc5310b79af51ba1a473c 3791192f5692744166c252b916c12a5b93aa3743