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  ' D\< ]%]Sepref_Prereq:threads=2elapsed=55.425cpu=69.728gc=4.360factor=1.267zXZִF! 5V]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA;-Ьtpfy_; xKω)Tʚgʒޜ"}$=`= WG't_`X87@w.`m_OMȘs#x E4Ml\pϱа$,s6qG"f}݆Ksw쭕4)]w!.i~OHw7QZCm0-o !dnsXx4%ݭ7AR a%=#h]CjԠ"l\ 9p/,Uj}pUQ*2t)VL*nψ7•}]I,i#D3{}оz{GQz䎙,J+ٰ;+i% %%`7^ SnɫhBhU*m0qRT"qFrvQAeeB̈BC ֜o""n'*&.g&ߕ5LF pXxb)u8~m\,b@R.-t~kuc%rMSSzT1qv9Zic8T2$4lQ/" l3bJ!wMRFCFZwC jmH6ԇ0)R5:3bTB[٤}tbk,I g$bەZ9zk>c`]+(iyh!t7SZw\b 5SWxC^PHYKEҢTh {P!EQMvL[[/r cu+7};0.VCg!biSf M͐|])BI tcG3"P6Mww#C; D:JɄV[YTƓ? bW:˕1ƋWkz)ʯ`zUmA)P:WhlW*3e#?SΰbB "Aqp(_ }>xkD@D$IkĤl_އ|(Cd`[ZbD3#iTz: ayPж j0Gmʪ7 MSwRԊq4QI ' Sepref_Prereqq Pȗ;Ge NCk.aTݹ)Q=fv2i/uQYrRv**cn$?ǥH!G&(!OBGck RovJTĚ/"sLU@ jg pgYZ7zXZִF! g]ŗXiɟ1˦r~KunύNN{$\tYFУ0Q;S(h<Y;E qݟѫvݪ%%Z|=R&,5w_Oؚ ߺ{X}w,$umpSOՠ7}Hrr PuV!vw=n $h*NwxA- qϰ0ʗb r@}r^۟ 5Qɱ=_}j;O|zwcb K.ԏ2{n48dd~(#嶏ro@ېj2 dL<։tdE7G-sp@)WwXY NꦁǺs񜆮鼻MB$#W0gYZ7zXZִF! X]ŗXi%;g9kkʦ9 j4pmYг˻o=>cbh:zDZQ^K{1Bw0?g B{k:jXk*%OEb@%j(f'zN5lb>QyUp"s>#-3hE RGCJꎟ:+gTīWH tkJd'0"\F*H.yj⾲na 탣W^+˳mE3iM\řGg辯OvA%X-Sտk,^gOS:[5r[v@'Zw]F{H#ʎ/ELC̆x_2DqQ׭$_-_kryeWQO;=ײBgnVৠa11\t;O.F_XA%:Ú`1m*Wߣ2%z) Cs9> U*3Gtj"M"@;AskZǸV:~-(i2BVVŬ3oĤԏ9 DӅ~5hy@fYzzz oԖqb0c$g.$|yEL*3r*f M: 2)OA+uЕkOV}R6i۽X?}NHՂN$wcж\ 줖>U)( gjB;+Ut<47w=Rr.*> `g?ky[aH"/E!qv"d_}\Bhk~qmnil4[1|8 KF΋Aşݪ*\XRX7v]J^Y-& Nk3 O/Q 0{ōDOuK%58 tI"#ȚRBcNQ>lUa?A۹ܫ{>^79Dyyb5bF<]Iso֒ܔj&*I)vd1Ii_<6!W*9ҎQUlxb;[-^ ^X%Cњ}.LL&/'wul[OVʬ8UԨǒ|gwe &&D Z1r(u&/5QF=^WqڍyTշT8Cj,!B h5yZ6>Ng|Z\.Ui|6*gqt^ XwgIϛNؓ$9l@i-?^RX,>=]@lR~閄6ne;adπ}h-k@}KLpwW4OYe =ItjkhbMk+"䴶ʃ1O" b7x6Ysםf=LE*p}ʁKuuJzL X#ZioHMK(ɂ073'D mJ<#$ tqdUwA (OTC@[\e/5p g20`mVKS=io*HLu 됲yبbf<0Hg7TI>yE-tcx0lӯ3>}8s|Y`nWR gYuJ 苁ZzklcM%vF& G~  d;`Gd@IlitK Yf"k"I'> 4ֹzS2).#y* q %@IlH}n+zC_/^ʎ_#X# v4p-KSE-dtbCHa)Te¤&^iiʴAen)5>Z0} CF}o4ā54`Z+Q/›2^81%T.#, Vb8'3ĊXW+TgYZb70ceb54884c7a96ac21f7a3312f1ced1e88adb379d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 2ddeff9c6ac654e4a0066e2a4eed2e24a610c057 de7c938c1cb86b01c0651104dc0ca753c5878626 b9cb3fe15ebf98920426a3ddb700775ad4ed59ae4c2245d8195457eab7d55e5cecd2e68b34a946e1