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  \ \+RWcG!7K~Mm,'B*-(7wPP?ܖY_+٤l]~Xܙ^=t''Jb^YX&8neäc;ӛ!RۭKR4ƚHgؕlhzβrbHG/noH b,T[ЖMZFG0"vva3$#-nAgѨRe3ap^(^w5ImT\_aZu7!>2~o8fOȉjG߫Λ=}c&ĞKi cE6 o!ї5G7  ttޤnH WYV:ǜbY\UfkJ? ,C!NT5*r-S 5[QjqNSFYa ԗS2`"tQNń+]U^A7xv^-[r>6+xXAߝS+arhpJJY=3_g5c^sy͠]<Г3n 3޸XbUb7o=iܚfqhGϧ#N(T8(4l4|@5-VARkE7?^yoegPudnla'@ n?c_겢٨4\NsCR xރOB:.9*`+`*B녌#=*!A]N0XK?V6W#'#?V?>he!y5J ) r!26۫@V͋0[r0wZwa9=CPĿFQ*;S1֤RC?e"[y'ktp`)3m K#d(eUUF%FF!JHwFٍF\aԐI/c#Mz2eIP.ܣ'4:hi#b'ɝ~hݍf%(%Wy"b<4[ozׅ>7H&[΅ '9$`nzJt{^Ԃr;d0#PN{1W̶%ۡ@/9fɏ@LJ)4t3KG /UI _<;ӾC.MM!aJ:4b]Xz65ж˘o%׳5FihD|5n1`mȾbbr + HOL-ProbabilityyD 0L;7KqdzH %B\zf qI"T._ }=>G Gl Oh[xyGM?"VH#P/!*9jQ;K7=P2;"f8PG}~jss5H1耞0'ԧM?r1}(,֬l5d%S4VT~ !j,$ukg#/.}\a|Vn'P|N0}m2jL#ʶe-:0yy1j1wֻ |\mMnj[5@Mkl¢s|  `bY q,;H-aV]zO QkY*Tuwv+CVx^%s U1H4jE cQ9pJ>6?fͩ(kH:tRFCQ/쟛BS&?)#K؞ z*طhtnՍ$Qk!Se5`DBÖ0oXk[q1]WiT8 J(JyN+|6D2e50]Faγs';r^8uG^vUs+pox⤦XzCV;*3ϼj%N{i 7=7sɝ OyW&_\ԣCmRwx2 #+,=lzpSeY)Nz3L?>c?EIsl-c b tIKeꆓdpWOB zNs AX L2-W8$)Kju[ PlNr G :-߬D>^4yG9 ҰNTh& 7d8(WUK0~1v ~y>ȟv ={[}ǎl;QlJR~jc߲ݏFg%Hg~ _!M*QmgMTC"6Q #S؀XhwZ~qY'řC *y)ւO4̞h lx4]'uxvh_Z!M1fZYSWO**)#S?[H]Fy":aeXZFqqke8}d]Xɽ{R2r\!(J%,w %S1bZڣX^Y0ۋ,OcfnOC J!L^yZ3 /,$h3xUwPrr?TO&2A80n0g2#We2Ц cjl=c> "EτLbr:䪻,Sda1D!"Lg"mE\;cu@%*j L %׮ ֚*k8BZKJ{ |~)OBNZޏz& sao|{^Cc`Y]ZSX֝,%+~9?W|+(PgYZ7zXZִF! v]ŗXi%6 F^P 7L)M\)>F儫vjӨg9') VeN|\Sݗ6BYbaO]sA?LEe2w&=<<ӾK!/;蔸tt[/P$Γhfie\l6㾬\Ѣt*tulŁQLbM4GFHWѪuT,HM B4FeM2ouLxx. ACXXa[HBPЮc;K'ۻ|f'i vi*F~ZuRApuHg mb*V vB\Btp4d"v %׹8yuwK7x!iX[fهbH[]s`/KZ*G۞W6T3oUtq!h!FO0CN4w7/P,hP⼕-LB_ZVD<'2/ %޷ Aï3ӋhwKXym͋GwN(Bz\-he5@jkat X@y* E&;t^IW8c!]AqY[ϝKG%."ۮf|Ir 77S`-JB6)B|+ĸpgWW.fx4?QIQ?9,X 98UlHan)k͔X\IPjlkp!i.NrǖO/Nݕm$qƴPR&دgFB{3lɒiWefKyÜnW˂׌M6r6G"E+4 ʊcWjQ 'D5@yå4& ݑ\Ei5w :);$ l _pz2Cw0vIrNߙ`α ut R`O]̗/|$>B{D@>-S Ai6]-FUH4v {Q-p}.:KYBi8sbʪ%3!fټB~F{{@RFf-C>٧JYSyTw856M"BL)]ʚ#"![LJfpWtʼn`5e!Jv}KH{ aҟm㘬my\fs%MDqqj2_!q^!ZWγImWv:28zxwMSmwuq_}OP{&w9aIy~ܾf wE*)-+Թ%f1bw@C \0a@[Pxp(ܛSn4d0^ =f]l0Ҍ`5;n. oj BGw0 M qyv*>֯5\``J)4 >Eh7mBu,5GtƼz3̅01Y=_1ݑXg`W@Zu<E V-J Sݮ[7ͪv)Xgt)!%x*mrL.wޛEK0' ¹my{@&JGUAƃQ*]NabO]l6瞗-sv0:z-{B&G"[ʞ'o5FRIa]<87FL*z8f"B})>?i9;XIK%'2 T}+iLJ5yOt kX -=_%.wz9%'y_CYk A3M21r"-0ۣŇj tUvcw.ОN+ w:ͯI:i" Xl HWKI#R[JR|`au 1xelQ,znrn0ήm\-g[HT3{Cg5nTS8ẍ 'IlB<&Cr5G˾Pupbl} ܘΔ~%ir6^BX~kGi_"2k.fvKB n_(#kKTu_ԧfAGv<׭E~ -fkFݶLd˞z7MDoBvon ~̞b۰߀ IpiJ.{5sDcAB~} XK5BC QТv&eK˾[MSB:sJ90!oiM 7˲D!sUJ!Nв qF©찪w˭7O'-:6iNcG4'k.R&Mn)Q-*Fq[Oˮ)f6nnetÈ'Zs\9,Ԟ]PùR#9jElaiG| /[v]C'|j]X\P%M]mwzgIY6Ja;Kœ rЬƟ _jrAZT\A 8 f 6CstU 0UrDHSTuOhp|sd!