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   t\ / Heard_Of:threads=2elapsed=37.443cpu=70.080gc=2.396factor=1.877zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SLpy-@=ZqipW7wXpo*drzZ% \fP I+>Ew; %q,G6h&sY+ (9o{ƒ[⚜   Heard_OfIƦq#JelU7x0r;?//_j&oeI7""&宩qϩ[@R'/5ݵ#ޠ*,w:`,RVĵ )[]C$ɆK/;+&}I՘ՆtK%(_tkx/ $(z}\Z#y p!/ V/~eFA }QKĆWZϯ7LGc<' Obwf<Ũg_iC<(wΌduwlBRz"+Bv _^/H뇢pF-!%'<64ݮ&d! E ՍCJf,&v=S:EUk_܌oy~Q͋O'|'1{jWd_+tӡʣ=mGFɝf #?OL /Bw8tvh'EֶlF?g^pX?2\沟tK[}Ml?Zoܵ{k*嘆OBL*-ggaX4+cn`2Jɾ'z'ʩdzDwd3&% 2 ĸdÍ}7}Π{X!}Wu^-uFzRuz, ͽAڢF.6ulkso? ɼj:n: <Ù|@Za=iYKNU-۪w>y~F˽puV/jPYM;y`?Z3?e9%wȑIӊK礳?޽XW$[hm9FìV G`Ь8Ragc*R#A]+6kZS m[]"響- QTX2*妙4b0<aJn54 [Ȑ \36O94mʫ^s M?b+@)yNByj=%z_ٷvv$_b*)>X2۵\dr2_2l!y-:&;AD|J #$|Lt ٵlP+aY7:UڧXvhć>PoFytPAvVyv).~3kfJK=Sk VaTXc(yeĐJ"$ z=fT v٤N!iRbt_(JU)},aI怷JFy:_sX 8#JWaWy[ԇg?Y[|792}R0BZ|.y.j> ergHѸs{&>{c˯򉍺-J(6B^̜,RvX:ƼGO)bb4-Xd#j4n ~?<j½vϠ>Xu,@ dN1dFq-e A/f|t18)=ꏧQ>鐫u *}e HBCRX 'cJY*gvN&V&Blj!(U.~k %geŃJפ4 դ\㊌s?PJ5r _;8&|Vpj,&ê/ c4%]Udpu1`r-NhүJ3`e2Uz7]cq Z]pe:CƄZ d|+4/#-y)` {J,~RE[2-G܂#R\ĀZ3B?He@'sbxb7 kWM(AP86a⺚mwfԖP+ ,CJ/|N''/=P.5: g:qH#tcV&'aQ.}CAnl:!b9"1?Re0 ~Eهs1F"%ږJUBD\`|O&G]ýx>CS]r낥nA8,XhCy:/j9 1y2qIA׾ Sp؏|HPc<}5J\M,Ȁ%@Kd2^o \z'v7c'?GlW3僉}ANs{ 6+k_WJ1J2nq!yBѠ {L.1{Ψf5A 5ߪ׋Ql Lɒy`n(׊ƃ.w֒7I9ՎIa-7/R* 㼦୳bRH٬r|tD|+/@xM,6\bOq/s=)Z_ u&"[`M'" b^)$7[4"]:d ,"Xu l(,( In%M|P#QE9=B%aLaTpN'C˜=A?#6}x'Swխ,[ΤD P>?V`[o#_lɍ "ȈD #)!l'[j|)v);9K]P=4R5\d@P3ԆG^<9j|+"nyP*2#co^%;!;|:3N$;0 y@i,M 5ʈwܱ9% `5EЍ O;%n['3>ők]; r[tO-g[SDcxPvN\1:n gGYYBI|HvIߛє}:o 9qmzO} %ogYZ7zXZִF! H ]ŗXi%v5:c9TӬ'%b<2%eڬ`H_H} }.a{ej+'4Z9,W"Vey_3sNMy ?qh ^G&aޚ,ĠJ%9[$? `3hT/~ .ޞ|z>/W5{gV)}ޏfH'bdПjp|Di VYz0ctuwT6 +u Bw{z[;ch2}+4ӪGjl h%{d$BÛ05"#ƀq~{P!;U%m4zpL-G7Q^g8W#%5ғUמcĵ;Y*;j~\u"\(s;2)V.mZQls]xK_^Pq)ޘ1*%BW Ίުٿ[Er=3/*7KG"$@Q=Ci`M-ųͮ9s çeOαx0LW 2}L.p݊ 1rJ5D][)8uN؉͊{U#w@}wt>i1{AQX|sHJ'{v3^AKxżu@R'X|vk\1[[XxxP7E?B :!m U)B`fX >>1aYVqhI[vQy a1j}=2E;AK =!`"O gv3[3RD=w1HY |>*Yg4|[]I/t -B+1vuV[%+T<|@7NR̚RCx9xc ޶(jBd9Xf&ZGa\YJ~P~).2IQx.->t-"9{mnooT@c/=mdp9vbv[~n?blr2~A.?lw;kb:/&9% }Ð[D3_ 2r-͢_atq4icyi**δ6 45dU2Lx]o06kkI倃3F1kAAnZt󓿡 M(ٶ.PUeUm mPf{##1M'מa9:1F٩zI-qvCǓUs /zu"(/}'Ga| _H+* mLyBM/y!c0;SW+°a)(#!s1 T'Dk\Q%?= 3dµO`r/nYVeʡ@YUo: N̅Ǜvj^=QΖd.]ȬxiCvPaS+{~'F^g'QH%/tʤ9b08BT&e ׼9DIN&%8*@`EN'Q=x΃NyE-V+M># yP9^l~9 ;x#4~=U ΒѸ=(~@h;0@XXMLi>R_"f^zʊ3!e"cmuLUоtmlΥ!`[\6W!#|A~d{5IٷZۃv =n}zINDu9Wuo%'-aKJ &$i0p<@ 2['D+JigYZ07fbf43350eb20c78e21e3c880ce16e2193a1046 29b0c1eef527a70648010c1a77bc57b3054d5527 5494a10d7bf11c4de909a12a92e487c26fb55ea1 5d13452a27983e538d261502826594d743acaaa7 5ee230635355a48cc812996c21fd20f797f8c6e8 7b6ec139de0a604f475d62d05f428136b3946790 7fe389180a718836fb9ab643c894780ea69160bb 805122a57d3a0b2bdac0a95906f3bffa1d16f815 857060ed8c59d8e65872a569304dd512a8049f5d 863f20fad8febb31be2313ace19b70216ed974fc 8bdfc81df497e23e2b530acccb397a660936bb61 915f2cac785ed88789894b5d7e581086ae5ce380 9482d80f8e7b6d882f212f19b6f42d222c5cf9fb 9a6e848cf7bbcec3ce6567527f9879425bc9a621 9b1f321658f3646bbc6f985f388fc2b2e09cd4db b394b94f00fd69962a31ef5d1297617398675dc0 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 ceb191a738ce340c0625ad49b38fd1b9582b424b cfb65f6a2cb4dc6833bf754cee194bd6a4b346fe d528ac61445ebf01d9c00ae78a93ed2a660aa700 df3fc9c9cd5e68fb92332d8bc39877c97204ac09 efb38344a46986ed1cab770e8beafe040322a6c107addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988