SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 33& D m Bernoulli:threads=2elapsed=35.434cpu=62.420gc=2.328factor=1.767zXZִF! PS]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛s7%0   Bernoulli cw:xb&9Ў^ǫtL 3l]?ˉ~-L鶧qC r~xo|z лQAB=.DU&ZQ2^xQ)Vj{.VsWӺѳ$|x}I[@R1Ewұ@R+H6 7FL&(gJsD` x߸@y;ѳl1OyM/AO7ɖ&l>-vʊ,"!v-*K-#<߰jӆ xi/;0=bɼwK[N?.%9YEn\ïk%^ 7 @ qr] 7WW>/!R'n/l@%=:Ri~o1Ŷi $(:8渨V<䵻GăQ G[2ۥ^#v>V#Jfxؖ(x½ 0ڦ犜Ͻ aaYQ Ǐ$L&"[=<ɊA]pq| ɂPC(OTM*@G7KR{oGNfiC.WYNAh/v1[i;dOX<}͝ i{#Ԧa^Il013^T&[Ʌ3CV[a1h_E2?to_PNj<W>/ U+A3zXN+ igi(1L|,!"複ϲWl4A9 p@} 92R:TRAdmEtTq4~c!?L0Waca5UD5㸢&_ԨW("3u'^VH Ez:LPYWj&eO4(YE|| ϋI3@C!OT~<Ŗ.ݽsԓ]M|Wry<*{D_0UFƎW+@\}k@0FRDkL 4jYEq/C өl$Lv/ UDl ߵ=BەVPO:%+xV:Ù_ytx_#%qqR1ǖbHB8}.ǜ+k nρȄ7w[p \b Y:=g&L @3—nK( dƚLh%9=dƙ&O2I_nS敪S '/4/ 8PIԀ[ ,R,K ^{'Kv;dLw.]ɏk)jCToܜZ!98hXuzIH_m[Qt= ȡGz+ ".܌ŜN+CL(C"G"JĪc0ҡk68 /+ǯ֧P|CVpŦy^蘹:1_Tv|\&@]/y ŀQS*L djReWfNow9nb,QC$Jz,Rob}c8ځI|SƓ(jTMR~ ʼ2:i+GpLDN2N nåo/3(3ƦmFZq#R}B#{<^;ѷ@(6`AtAĴq}z#.G 2HNKB9C E_ΈǷ^O>h»&L15F_k[ruO8˭ +3}&I>1}nG~tC(08ĕDX)xJfaݳGC1Z Gc .W8+1g* oB*!ĨK: ((J;~B+r?71"ʈ`n7vϣX&D :騲VcH5LFJ{sCN8Bf+CC)Ǩi)bS z(~OMG_ƱIf_Tr.2 }\g7 xvZbgl095W}Q}r4)T'%X="ごJF[ȅw'eKLЭ60SaV3 Awlk=؋0żvH5S9$;؃Zy\|Cl;0kW,] ̮*mf.s"S`H@U'PX}(I!PDxjBA1lwf8~/_ _6!#\w̮*k[U/JJ O!f0sIBzcە$Y9ma}lo'nc.(<,cQN0^8/&XoˁAQCR<؄Wj 8s ~ ֺI/04 I7^ %:A!ٽe^7`+fdIF~m*Z2."^VEG^zw0+R5aUs*r.]bGJǔ({M%}ޛD-Yf1`'JXhzvi2ߜ Z6(ABAcD%at /DW+C[L(oIhM!†spysy3L=KwV: "dɨWQBsڴ&;K ܾF\Cih16F-)K!? ,4Y@#θ-?z=B6cQd'r~CwIn}uw~z17UMѹou½R(O ߺI wVo9h9 uᬺکte 7*YDJ&awZ\!'!`X _|,ͬ-?G`c}UU#rI܄e/UO-ן z*&c75OQb^kliknvuN$2kMGB3b$ݤo1Oko`5gWuGxwMVnҏ2;WY'0}ltL 6e&vnBDlK3YsIc;m-t>@ůIH'YuǑpxD ܫT8Ч_d= !h^ W|+zJ1 4A&o*A_,F֋akJ#L]|# Cq0n\ЋCxYΛd2G'.NGV(lSL&!Q*C#n^cX_OT#Ŧ4ز+C+e©XVҢpJ+ơ :JٔVҐcJQ?]l!:kQƒMc",򔈾GD?:g[" z&_-Q|HZr"9̊#}< 1gټb)`\Őy9H;fpu0J&S0( ՈT1D/-BwDBGW$3Q;H7qT[p6m'T"{"? N'j4͹oG֖S o1)qlaN$' F%FmKۦM}*><^X(=j&t#+U5/]:D7jN]@81Q6TKWrU;TMwl[ޏL4`)%L?vrBjJ~ا4KWE?]Y€CPI0}+IW#KP<>dCkޞZogL:ä.~_DaD*P۽-O2@bc#!&Uvn!LHS:[0e"`#pic_!SU'`~ɈIw|.!9ߢq㬈V,A@cR1GJ>W} aā`Vev{w7.-^!8&ϩPV@bonJTUA 6{*EOq 7T^xܾsBB{ҵ=A>6 WC:xf~wNQm#3H X$)-)%ٝqD6f"ZɎ [3ݎ>sz߹;-MTi)Ԡ+.αgYZ7zXZִF! ෹ E]ŗXi% cR&:Ӂ~BgጸnUܴ'G9t =:3-n8tMBb9CUl奦1N uěPD7;Qx:`Vr-(t<ԐirI\K A̖A$Ⱥ$H*GE5f*/@즾|s_XjwZ|XTC0}+l;I &oƾ?Z&bfPb?"!RɊ^qٻG=TI<m}<ɩ*\p͕=vm.~)cg֕8RA GdO%az@&i0g!!:1^jQ0CF]b0mZ5+rbL6 kzM<= VN0g-`b m ٸ0?,HBr{[ہ<xqHܚ J0TM~EpI_oSW98vXÎV E ĂCYHNBL:nܼo;4VйFW%v ObZ8QKRTT\@fVIQ <;K L㌀zWߌ@Hy׮k-vIQ Y7uve?̔ȼmZOBc)Nbu=9`AE M^ǎl$F_5v$&94տql8zcWԭb=_R!69{o*-u I@m#ʾ02&4"D@dV}ŗk9n[!\EP Bȸ{p˓ˊxZA;P[ȧ׋v3#.-z  u .34ϧ建WILp>陹sd KJO۷C1!YЈ-ÅMU@.z|n+].3VS2ʶIov$27`@>|H;yM2fjY'[fϾiXgx'#d/:LX]-Z?#hKHԑ4`* XIaDk( p6kP?Badg9,4Knv;yV[L>%J#M+3F -7@7'V9Ks`>bq)[0)0Nɨtx /NYB!Eo9KSMbnjv^ ~,*jl*0̋ˑ'K=&aFs#%LZܟkUU5m48ae tBH *o?DɪXPgz{JB)mYf$jBެ@hOt B~8˽Fn"_{LlE(>1/`527.'3"*X[+5y2Cucĕ8oB:\kp֣eN'(\}cwR]caVKZZBWvO_/T+uo.:Bˣsi)h vnZP{c\bY:]qhvMxG&x\|:lk/JtcutoWVطV]ґ9jH}߂Uڻ? Ŗ%QSdV ɺ[vݘ5+yHB!ZbŖ|V|ݰutAQC%xgݒɧ b&0ޠ1*Gk{!ѠayJ.bQH 3XW,Bw1 l[\_FJg7pPk_,ի:Z 9tpU{u!A޿b@,=+Q&llnT"Ҙ xET܈Kfw8׍4;^l}#ܗDI{( yTf!jgo?hi@MYw\ / |MߨYK03oíѤ[6:qg$L0 moK*XjDMHm! upl.C%*gYZ306614ae7e125cd238a3bba7fd3fa5e2d2176f65 53c6fec8bd0ca1122e97880d460225de71ccca78 5a5e1fdaf975d1e550fdbc34edfc57f71789cded 603dbf9a1b039ef8242c26645649bc1bd71f8bf7 63996b18a434731c4e83e9b8e9092ffff29a55ea 74c7b3b9fc805b37404841e74148b8988e671d65 8c9504a479a5a4046082d82961946640d41562f0 b643d05d50864ba0cd5d29b7370becfbcb3726b0 ba3b3a5730257d7f4916bd70913829a914ccdf7a3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31