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 U \ / Heard_Of:threads=2elapsed=39.302cpu=69.992gc=2.388factor=1.787zXZִF! S]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SLpy-@>!ݴQ (֊cꞸBK]˒(l͐md(O;JQ2&bfA}jN boaw!%!ԯ3GG(::ݥSl-Hu Pd{fW7r#nOHgDF˟ ,:鴴^E QQB~!iIES로9㴴 ([ΝV}|ƒ =VQ:%R5ϙ[E>?ϱтԁIoo4DH RDh'b& uгFޛLRJ_vw7JHƛ] ).4d w+5@ ]3&EeqMl~2 4;mcDJ1J{~;&c>][fVXa_*U^ 87rZ'{O;`/Ġ) )3 U(7NY cm.0kl *.'G!E΄=Q<|h'F i٦"%,C˹ll3mY 0"@g5 Ҩpfk1ևja]qPs;rkBEoD=,zზ0MJ(- !uз;W-(ٵX٫ߥ7lLo^i#/zCO8rdf)F8_-g#a)ڻU>H>V$-v.X!)/~K]Q^k ,Oqр=QWE9H.CId'6QagWHAW!;j[+xstWSoXݣ s1U(6Hk52lZ;E ?"mm^lWChހ'?=CgOHYG`¼1=O#Hs?/PKލ]Qb,yT.t1 U -{STޮJ'ޝc=7Zq(wXH֧ʐYDhZr; Ctd_uzmv1`=M^&|Kʭ:i(&I7ɬ%EgqQu=B!!Dh@酕B)B`/|5x02TXiW{!|{ekψ„8n]M0Ašp~ʱӋ*j r+O?d+Cr|\]!P yx6 6h,b"C Le!9_|Gô*8̀7cmO'>OzB/Ͽs+RَT@D@6$OuL爖G*9fIiG@@G FU.g&>fC s]~9ДxKp1HO2\Q01>ɈK(Mx}Jf0:ރų!WlwD"yXEݾ"R[_T!҇bAL\6}4*P 7s䗭~p -KrA]X쟓0J?msDL+j/]Wς\jwB)IӜ%8ybrC&9o`i{3-#Ikt|u7F{&y  9OjM&VtHxB;(X4ƠVg\\Z#|TmG-\daϸМ)*6|$oC% X(UDWaxP2-yN$F,Z0y~ gbOڡSY6\GF9IQdq>%HN#\ӏFis+wEvH7.My%<ʜty2ҴDi洤;0I_\$7[:@Zb \uav!-I /is^ l%EL-X%]Ђ0h(C-L3lt{L #j¥3ֵnkLZKe?p$ہӶ_眹 UE Yf,\J8^w-Lia+4ܸHhGIc:}:u7ܚC7T58ԥI d' w+&qIskZ-d͜s昩I~; L%x/k9QE` OC]x[Cu<1F{W<ޯᚹ%b&Q&Z,9u2xc"k6E\;oKOZI8B2Gިl O-%nVDYl\1O9v\1=':9sp :/$Ѿ~80TOgA`=D^ĐՌ:1t ;7TDgVaDtaL˵}(X(JvS3eM8~Yo;rh6F=,м ONk0LLD8HybNH[:* r, IE*B?N"_?j @#G[LX [h3' S1^vWsy |#QUP\pů~ظƇc]W/CzϤ-K}>|#l`wvPm A;xp]tDlA.L4\k:s[y?~MZɅ_\0HH.#kz2qr|K$#;g0 Es%)`hc=%u*|[k( SRCٸy\nK^w=lw!ou$ 0AGDD7F`6d$$\Kzʳ Y*|j BϯX n:Eu$(G уokmm6ԼMRJc. xy7f2Z"+ZƜ*:ǹ^: ӹ`YSפOp_dhnQ\vxT0( n1n+|)!sQqyqViy@KJyDYee*pv@F^q҆ גD#]Ħk mtT_8vkފ9s)HF8[都eaɿIbܧ15dT~`.2PĦZnOH50KlE("zrjrW䫘6 16+BlUD +U]Qj,79[Z0>bG1aS!Z~A ?d7Yj8ŠL>Y6BYPA]XP0,rnM~Gz`&5:?ylЄZVy8=l3ƮeM! 4  _#6"A*aC_/)]]vB6Ҡ7~k+jEc߽SWR׵:h=Lq5f8鎕shRz| ? W}[=O~~Lf>qpE'>+0ؗz*gP1x4}峟Nr/ Gq36MU`V ьJ:TP l C<yn`@5S`o}-AFw; `.3ߐ =Ž@KyzX֝~'$Ť^89o/8&?- fb??ȗnUF`LZ<83lڐ]oSԒ&*1k>&r$sf,DTq*"k${-e!4ZĿj%~Že^V&e j9WC"Bt/Y*F 1}lA(b\)g>H(ˮWp7 L5k]@jH_nVzK}GiopՒ%D4wߕU ߌQ~h\'[Nʳ޻V?LΚv:VAG" ڲۣ<V(,Q=!i'>-lss~zAevAH. [D,T?QNQ;q(K? + !]e4-  - \D>udmg p&?];p=pمZ ɪ2VZ854Ha" aj]Kg퟼DY[ݤIuT_\܄*b%Du8HL` "-5U1g:|!$MiD8-Ouq3L,C,ϕ"l&5Dٙj%Yx$E zg#i'ɣu = [~U/b56wg6C8uJ]Ze(dzG^n\92ѷ*qa>((mW#Ơ]0SVFԞHױ*VaWkNR;hhʞ`Ntyd@17Qy7 x-l(A}ڨWN[$E"H='ö}?%yT_3|(h^Dcd e8 0&Je!OMESp# f0;dFrNU॰}7RC_oDt M~IB # > LDLr5̍˹1I*LH+őҽgYZ07fbf43350eb20c78e21e3c880ce16e2193a1046 29b0c1eef527a70648010c1a77bc57b3054d5527 5494a10d7bf11c4de909a12a92e487c26fb55ea1 5d13452a27983e538d261502826594d743acaaa7 5ee230635355a48cc812996c21fd20f797f8c6e8 7b6ec139de0a604f475d62d05f428136b3946790 7fe389180a718836fb9ab643c894780ea69160bb 805122a57d3a0b2bdac0a95906f3bffa1d16f815 857060ed8c59d8e65872a569304dd512a8049f5d 863f20fad8febb31be2313ace19b70216ed974fc 8bdfc81df497e23e2b530acccb397a660936bb61 915f2cac785ed88789894b5d7e581086ae5ce380 9482d80f8e7b6d882f212f19b6f42d222c5cf9fb 9a6e848cf7bbcec3ce6567527f9879425bc9a621 9b1f321658f3646bbc6f985f388fc2b2e09cd4db b394b94f00fd69962a31ef5d1297617398675dc0 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 ceb191a738ce340c0625ad49b38fd1b9582b424b cfb65f6a2cb4dc6833bf754cee194bd6a4b346fe d528ac61445ebf01d9c00ae78a93ed2a660aa700 df3fc9c9cd5e68fb92332d8bc39877c97204ac09 efb38344a46986ed1cab770e8beafe040322a6c180f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4