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   V#t ]/ Statecharts:threads=2elapsed=62.557cpu=114.168gc=3.196factor=1.837zXZִF! W]ŗXf1-/6vR[]f])_١m{!q,a\N؏qb%,_Ձ&b,1(_`vgGPC˥]}r!cUVt~Im6:;co:6 ⼅OΚSU[ͅT4-^wS!?zNkiP֓'KB\|rri TJձgdZ30Q\D Op:so[3ڦ2T -PΑ@dN0B?N<%2IvXd~R v£wK iE.:ǩP]R]N Я1ZoaegE<81~IL.P3dϾPޛQYw.pkd-2mxyZcDD6 Q$w;?+<.P澍1+ o-r<֔'m2˵^9ڜm9zhS. -kP[P smw#6V:|N!0'8sǧjs*Q2uSZ^$ȰV)y9_Uw9i8pWvTC.ń$rK'W`rno)5˫sQsY5;l$Ԙ WD?w~ [1X i1<]i1ڏؑ26ÿwN$>JLBEip998Y3ؘK ^nMnǕi}c\Xg~5h6^Щ (Ý>Ghg 4WYjo*Z"γ]G:Z t tG6}y"pooM;(~`0U024(3~g7&r>20:^(WN'w 'wM@謇C=QMB΂h5>zW8g!٣9m$q;-^dlA%%zc*o>&JZD.6j3@j,ĉλtuҗB81VNFHue?x_VD2=(9Uu18Hm_%Gj,#R3ʳ-szcS 3xxR'5-rғb=8!>n 4_/0)D}=t&{: n;ӫ#!Z榹i .@j@_Zea'NG(|ʣӰA@~sN*@1o}#|)_xYoa XQ!@"AK1 uqN,p{smr݀2].vE{#9%h%/^| )E2/}l J^odE&0Ml >A+ni}Q߯*@WˠQϾ}e2/TC7Q}{*z0u?G셍&I| # StatechartsZm5/tZT%ĭ3[sG*C5Mh VhmhZ&+Gܞ?4ЏBmN^7'~T=* lT -PjCGYvtm(rs fjg;9~gW٬錱ޤG@ }'>1[erv {y2wli0gYZ7zXZִF! 8G ]ŗXi%;уkazg>tKCd 2Qln9LԁQ^5EXVVLy GVZۀ aq6 5MF8 r6lsV_7j!V&:,H[{և|=dndǠHO=ÅN~~ h\AK 0248Wފ%Uu^bgc~Yp{t2c&O4,Akږf(&7ɑ/𛐪kʃO%܀;Gʦ f)~&AߝaslfT*UADc._I;Rj3 \bLS6j؅jaFpnpIɤ:)g_; +ʏUHU29:LwsIIG5MUa%MƇ$2<;pqֆؚ^p}d0hQz-*D"2(XicfMԅW6$V8S\OF} %&7cbp`%g;2+xrq%/iM#.i-^eh 8) oۺEs`sjwp.W %y X˻\n-P;N;%IgbkvKd2s.6ZM|̦|T*aA=?C"H5` kݍ$kx"߻;y{hn'rn|Y諷*~c<4S522"fx2iB/C}, ̅6l?_M!ݟ@E;p^vs1G )JR'%qOU$ؗq"QQ~U*=,K%wg;me}; 1@cI@,Fl}m:pamo9XSM;Lxc|`ς} uQQ`QbeVZ%-j|ye9uRڼDV^r0s$Yk1…IO~wŗCT< 1RmÌ ]";aW 1v~/8W+Ob7 XX,s/eCK^vf¼rtЅw=mKM9RAc@ezs`BPVipb{[ n=;Iqxv&\b W;4-~|~,=@kz3_VnuK q8ᒣRhhY5sw_Qlg.f*MUf~iNjN\0!4Z8,}. YbMo~:>IEdKTx 1cS%[+ܦ,[U8fs{R `I~oEJ1ps>!A?0֍RYVgIFW-Rɫe" @vlǕD@=RאK@f hBrv zǵ+u&xc|nyILz$FAV^NXb1o1' 4o  –Fa]%??0n- pT[0DUs;aow^(Aȋ&|}IkÙШB-DƼQW%ïV,P%񡅗Z-vϲ̒}.7w|"`N~u[^a_̀ /8MrI-3 7u>.QlߦW 7;u<_ʼņ\*yŰ9S)I%i^ ~F=^F8P7&^nCb֬yj*Ƚl-Ar}]sT8IfvFq>x&WDRɿ a ܆S i@zj&F]=I-psR3a)gYZbc59c099d6507f1bee955295fb0e3067b3687fb779d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6