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 7 O HOL-Datatype_Examples:threads=6elapsed=83.338cpu=305.004gc=27.496factor=3.667zXZִF! S A]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwaû ^JgNES /> l_ a+MI74~R߲ -LfS׈eIhHdh#E7ٯpUsK%CfhdUW 7 HOL-Datatype_Examples#`ʁy;2w^,INLܙaPvK`Q8pz TܪA<.\8|eK],ܿ9v 3#ܫ=$*SÞ3v6ö;cn$_1Gη`= ̛x]uNJG6݄ 7=vb?b@ݝ9ĔI 1€UZ6>&BR;*Cٯ{_ke4|R~(7>In;x׫1nF6$}`ۣ$bi>f$(DŸ'"{!žŸVwC,[{Ng 6 J!/FThHۋG)%g{J1T,P;T 4>m+i]KLZ~͖evcM@z")4k>Iښ .Lf !07rz~nIO1!MVc!*cm[TEwd #֫KcIf@ 6O'𣀁3!j|X9ZzXt_ΓUp} Z= {k zƪH1úFIUmv2/~95P滬SΉW`5lZvH1)eJ ʌ%_l1BH)?7vk,cQ D=9O|f \\ޢD<.I "z̠`2 LfA"mYNV~;9o7R!4@D^gװLHaF9(-Yá],"W)xIV?#٩\S 9A*:-Q߲7gשAʨCx2H_pΞ.~]~4B7"i:'n }&72.,l>N& '~ų8^0)ZGdF@ XjjdzZBdt3Σ ~:H`M~p\0k))7.aoaoa U: Hcq %e.sh T QSZ8e049n3^55 lYU~bW)(N$Ց[+ A\FF: faR'{} [5Ë0Ҋ&.G"F x}*e ~rͿ9Eů@tOj_2>یkƦvh&to'"Vm'7 _# 2*&KB8z7=C Qnwœ+ ޸ .C&̩9-7W;2k6 ЖT4|\q'4vD}DD˓<9~ܣV*.V1es½?8 gYZ7zXZִF! yk{]ŗXi%6AϮh|)^iV}GzMKq:17DQ̧5}jܶOt\Ph*f[sUP.~ La^ۙ=x "'XE&1ʋ+y/ʡ|_STW[Qܹh7#F}Y+gy}&cY[z6IhWt0+GĝqbU8DϱƐtK!2+C9Gd:boʲ'ҕf}5Q |30Pds.~oڭL<@gpf~)>q gں2S O&`_QDk(HȞȘ!'v .: Sfs91  Y|b._=+ !Kռ+;~ Į{K~74E.IN {?vk3Xux+Rb8$z΄^?/Jꐇ>0OlIE#>5 h=x4EI$ϰTX.Q-ezj,'oQ|/J^6k8d(-<,X |d%PHļOzJ66sk~£$ H&R[zn%E`c~mfdlF_c;?-fiq+-);..gR܆jjV̸ۭY3:1~z_9-l O萹nJ4juhO@񢃵Q!@]S.veAOV dBN L1+oOQ)"X/эp}K/EI7X}jTR{db1ap(q:|&j ilD}/S2-"=#% \j0΀5@^$=s$,a4 cpw 16cBn~kZWka\%?}B!1QE3fLP9 <{6Th9A=8YPsQA\S,!`S!f X2+d"3^])3f%/f@9Xm±Upi,9* @&߽8 l\K[ eXhEB˹2MQg_t<d3jxm>t<2 kO^v7b*hēx+{_l~یؔ]ў<3`+:uN1eVso_m쁧½V<סN35Yfa-?a⣸)P_[Ѿ\4fcx%o ®ăgK8s3DgN7tw ,Б(jt% 9:kfPཟm;0dW>6Z3I)bߣ~ӨܫšeP#!68p3 2U{:Iqo)F,f\JiZGSaUޣSϠx.pBK?^Q#7GoIt܇B@<8Y+\;Uݾcb]u:{O\j1e'U%suܻ;(IDz?6#hs7=gMo PDG8LւN˩tg=l@^f:{?Ƥ wR$q$O7΅J{-]/r{gYN;!4o 30xپѻHGoprD?VlRRi1bW]oOXc 駀Pi#綕L] ]!v<Պ=? 93\a4-:mϗvy9zkD21KИZ `[;bМU` y)L(夫`|Zi̯d[CSCvWd]}h& f9E6w#Z&cɠsv}c9~jؖJ5-Lڗ$H|%îKff8\NKxGz4A&ts4 \ )S{aoi)/HГ$ZZ39($xJ@Ҵ'187W_Cl91!Ywm /f@Uf ֕ZG'%Bڝ jRuB-m@qh.⮼l+P "-q:I-UC& CCȿ՟>Տ,{qTS 953Je.a8Ax7T!4DbcMҺXt} '}æKR~ JάKҨC!on.p)}0t3c9 Q+`D`/pϲԴ]ۄ7J9њpK83JOiV\t1 󵦏@9l; N_&$rXN4-k^Ri{&S2p`h+6>0tbN#j- 0| AX3e/&vMTXQǖ3[oTq>KF9G7`2Дd$3bK'*'+ĂtupNXPlATi$Ě1w5Pߔ [{jyަBmtt'i) W mnhgW* I3!B \迸f_? iL(w}7 a]uֆfdeT*>p::)? {.%>ʁ{OS*cBa%Ca6'UF[7s *fJfd4m9х[X՗KgV*s:c(.=%V[K ێ)1(_§5 1΀|σ!c_gf܊6.=a8E&nAQ.n~bv%awi!i/Q'[ x$ և_lQ݁'3}"l|ڨYGAS@ hKuáy*3Hƀߨ¸a6vn68 =e^( /,I3:Tmp:EM(59ƎnAʟޥ.ͪhcL$P3o_h4jCRqȱCly{-C+FITd]i!boVs4mH+ԩϳy|꫄ k4xS7ULo/D+*?U=!in\(ad鞞^qcIHvoïDi+ T%">gwǍ!i CI*ƚn=+8\О!=?mo 2d,o.{( b]~T2`VtۜVh%˯7 η{mܿKv__B/W 5$nQAr Dp9QXn*|@fWj=]'zC!H 8 MΕ0HÎ|ɧy<`ʅ<·IaXB;_$cg9F}?tsH$ :Se\){GgaZ;E2NB LpULw)\ Y<11f?2Ӷ 3r7,Dr­ҽlVy CĿ 'C p_RZ[xb+ؔ2\[>g6AHW8fXh]Me{pI>k 42'ϔW75\kTE)1F:IL9e^T I2odCܶ%6.'t~MNV@5n:Kːp yv,PhÃTT0]I;Wl?$0Ko%a)qaq:%NA(fAax+HA"gYZ0587b778f6bef879f999a5940f95823c3631960d 0e5adf75e6b97c4956b151fe0cb2e05c09b87e87 13187a4aa62cc0b4aa223059ec6f092680601d79 188772c8cc0763cb926fbc73250592b3d1fc2fd7 2ccb944126455a184c05f7f74b688fd9a11c19fb 4e44cae70dd49c4de22110915d4d7ae147d95218 5b804a02f026f0c514f3c9b07d11c4d7d7aae3d5 5ebed541cfcf29e3e43ff346c453a6e1b69b5793 5fc73a9c2bb9c6f5cfe3b1b6cc4a8d5b018f0361 70d9ea874231a0d1f29fe736dab1cfaed4d7e7db 97deb1f6e9982d18bcbb623ce6f3a82487cfb71f abcffe35b50e769314d17a49e69cf2b76e6a124d bf76cbd55e828093dc45c8b038ba1da5d71b41e5 c30b02fbcfd250c7a4bff57f0a40fbe5a596e36f d5fca18ac4191c95387bf634e3449c39abc4710a e3ad14e1344af2ffa265f0e446036ea14665e0f2 ef80661a56d1c4702656e82c62284c65daa3bb68 f65eecfa15c43fd3547ef3e698c3f14c7734a09d94c9a1cea78b6f4fb7f551d5d68b467bfe295c7b 813039a69e2ed3cdc91d1a0f5b931ed348d85609 acd4942fe717bea707104429aa2312ad239fdfc8