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 G ( 7ⰴ HEd-v3 D[/fY}Nn`ʙ 6Nz'k!1=ookG`GP斡ϱOWϬϔ3ДBUTB*FeUZAbmPS'wcQJƄP bpȳ{uI/p8LLsZI}BZ:C,/f< cqvxàPI-?Iݫ)\/-@T5T{}>]tC֤+Zy`_4q`Y*2g7l@{h-0R0_.[[xqv>zuh 4~1sX%~j&w0YQOX6{vF[2[±.Oþ *?Ўvѻ@v~ֈh%KJ><]nU'2蔄]fїvW+\:]>Q~L>vMmKT,V<:lBsҝ9,|jw]r4[n*g\e^WGM50 qkϜl\Fּ=ȾI@P(&Ǘ&5MVRGfsWITYVu eCI<1hm d%gSˊH kp^q*wiɺsAPhrԊ\E/hN,Ì 0/@zTl)S!At.h< WJHOM)AY\C,Fоda!\Y[Z!Xc҄+Ia/OZ'F-iR!ˉUPA;Iܯ yQgp: Ʒ̼ Y;E-a8dt@ t,hNyZ(I ."C<(4VDυ咵yDn5^l]M_͂d 'ga?9X([;<$l~k6Dc38^ vrI=H7Z:%wikpdl,F`}$8ALG5B>2Ť+bԠO6"C~5k3u P%Ch^Oj/d6}aV32j7YL) \sMΉx!-K{<"}҈~əsIVu2TCEVm'[ptW[Wj3/H4#yk|P9Zl>4Ue,B\mokd>'8oMƀ_ yV 9Ȋd\MŔW?n);l^6WG8=\~O=֐+bSf2zL;ͅ[[mVbv.*-`/i5S^/~Hgjw;gDJ)ɨ@L<>6QW7F\^zDjh(-#\n%f(q<[rzD 'N],?Oq [)CR* fypD7@,Lr^hW!ƚGmFoT3%fe7S y}{Nj&e _mƅ^8 l)n=NMb4Yosv .OؤssYRnƮ26x?Iz~iMVU4:x+bo ǂ SLBάFG]e Ŷ*d><]^U80e82& kwӶW`_-<ݦ04݇,$lV.0. 8 }HΙ$@JdgYZ7zXZִF! ]ŗXiɟ1˦r*ǚ@?,DI Py4ACHGT\ml@ W+o+Í 'sm@]/͕#֭P2mheAQ)+J/iIyy6nU(iDYg hCqucIjUt< A f5!*suTu*CDiLMrƫÕ&>B|4 " gLgYZ7zXZִF! 2]ŗXi%9(RgVDu=gD>`.,Zf)eA4F!֯yNmjq{sxP͋' r`qɎqÇ6=|R-x;(/OoEoI"8C8,Cd9yXlW̃uyQM~=?N˴ۧxYT,mf*pFEK.]Jb-%󉩦E <ӄ~)!AO ;V`jƺR/B: '﮻?D=6}TiONS[Y22xmj"rQGHBJhӥGts%S sLsI <\Ma#os%J>՜nļK',&D4|Xyf%Ox}.5+QSf1) 2+.]{ȏQW,Ujj쐲vz0e& fG /b-5ݵ .k FgiUfk٤"'p:z?Zʎ$VWq'D\3rNq[?(/ȓ` ppp ԝ]`TVUݔ}rn{-ֱp<j2`?\5cm}aZzlmdt^OuY⛦FBY踮*8O|5Ia.ȗ{j}PVP糏si G'=J^R1H[GAͤF6[6dB]U8<^F޶̘by $vb0JN g+1ټ". z&x Z9K/',*﮳4:VfZsɓN[ YY6%Q,|Ƙy7fs> ;W$ +GNJ Y?zɝ!-jucv&7%D񎱈`@*I]&Jzqq6Znو\ȿ9$sYGw݊t]0ntC'pi V&/Yx3ŸR S5j%G2?p2$L?pyZZ34&YvҚvN5n+&d=g xbG U?}l)^bȶE: `7pb"هs |6326LNg P|`T *P` C 4O ˺{XI#_xv%6R/9>uk*Ҭ/PY~v])ֱG-q ,Hۊ< l*t)oM"߇R7q0kvGCb9:Fb!ϫlч=tPˋ/N9h!LipK>!?2qpCdpa~~Ck^ P(xؓ{Ă~ܳ/[=ۨ!z"5epuoڳB?݇"a,# "p$C{&euQ-X6{E( Y5bf~m B1=`L{켶)q P%>1RK9/O+qʸ( \&-vєr,%GVAh0mOWƐewJ8jT?=Dc)^TZga[Ue45Oȵ%TUYiW13\;L@ 8du*P 8}U'ç|*H%Z6q7Wsnz^Ws jVuk% Vz/8Zca;dzbPå0*Fs1OUB<%;m 3"ä,.IuTQ)`XMûmT2e_" >kj&@_tدUO~/n:4 hB4I5*N񼃡bBqoM>M 0ndʥw2bܯ\tй$uMǻ~5<|{3d_16G;J&fiN}i}C#g@\t(W>StA~fYMzMʘ!8][btfǵbFA[B*yF-O3mk$lntR]4ǡAĚZXvX8:a P" R>*\^|_ܺ-2iX9D "/"0dexC{0عr4tL JA3:iddtLybHKb}q gb57"]/dHѭ"Iqk +sB> u7$@ E$Sib&9$쮏z4dr$TB{Mek:Za:|NB |j9]zԔ0z)h΍vXDZ;qyS.KE`q8[ o5WY -ͨKNMLauίrU?P_uhEN&'I2y,4ᇈP݃TXԈOa~@_4]iEy6/U#~Z5N%RApU(kqR ؆~SV GXæjQu5#SׇuUh<؟ ^X5ULup9공do=B{M7t~M,Z3- -݀RO\eXlN-| `7fF Y Y&0mXOQNU24E!r\_l7`8\(}W~nI +3tˍ7s vAFd?6O͹_,,w ){ͤ{6-+VM@ ̤6~3.*7PË[2~ՊglŒ68mOg$\pvmo=`bs|ҚeO(3{w4:v.O*@I%ъ0΅/k@D{׎u6ل:۶As2rE/}J>%K/Yr@Fzqq |3Cmv`5u|`ga)i40D'.|@$OQa> rs&y})!5Qs v9~VncէFQ\1鏮g?՟I6jS8v/(eQfz+ `"6EHeTz1y`[̌^3`<vH{Pu  k%ѸVhcs+|A9)^k@' E qtgRVSA> +7|ك#3(GW5}fǑ 9ӿ[ݏA6A.95 1"ƖwRax(RâRe=bGA}X65 N9A`Vh/Tŋ2-p־|ڽ% :mqzSR4y`}k{@u&L?e,FټO[RTuo&qQd޼7Q1g&J௜Hm뮄*j%3s}^v0kD߷xΪ70˟c=XQxHt e<:pco~ut '~,CaWtXYcii\ALLEkS҄gLOxЂ\+#zIgkRҏS;iQc2-!+© Lή,lwUHg)c Z а$eKYqzgrˤ&DG񘯏&)E@VxOӮhJLv/߃ Er}Vu1 unZH:ھ"H94Y/z<(i;d`49n0Ghx,q"[#)dIP8[\GˀIT5\:] sCí7i0GLՖ5YQ;iugr.cO+qUE%uU|s,R3kgYZ7e09b01b25c04f9f3ce4064773817736e5c750a52722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 8685a4e92669fedcb554c3e1724474c49917d734 80b95d98316c5dd540a19688863ee03bc56a8b47