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 oo#,$ / Statecharts:threads=2elapsed=76.301cpu=132.804gc=2.992factor=1.747zXZִF! bl]ŗXf1-/6vR[]f])_١Kh-UWvh )u{~Go3WpU|GRӄ ـM&Op0P .^&KG2#WAHL"B )5‹$z`=<$(xe, `!-EnF 6 ;7,Nn! .LYkD 쀯&U]SM`Qͬ䃀{4& 廏[,,pQʡX)<{6{d5_ RPҢ9<,4ʸgXM~Npel{:@__jsD5a6壆gXE4X\$aDz`ʨ2ޖ AX*碓̳jfnl5H6SR+kp],˃f ScUhQ0NAz[Қs!>V4{g7Pn2s07^Y`b7dj(CGMZ7P4 Tr'A Ҕ _Q,%.:jYX']XHQٚmb(A%s#k~.Ox!c"v̖cF͠)rg~go97jJXdžfGr^}UdyK@:)VnF ]lQzj|7lCО}@5:=>f$z-rUR%7KK݌> bk @SZ};R^&g^HJbq~N8 Y!ЏɞbJ+dIAu=0!#Q$$E\+O"ԾuzZg*Э4-?2nDYaT#mfx:l>O{ hk_}TI+/֝- [)otX#Q@ۛe#.,]y>E!#Z6|&ExA y#X!bCc@o:w5lڗ@|y30?V~%0tw<$=]C["ů[FPY x.Sm|] ܺbTR[V!`*QV4U w8KJ!)wNrߜ\cK :Ŭ@5Է ~_蔨;X7N/׈ dXCA~WA  z޵35 8NcI_%zCTU>:3||@sG|*}4h)̕65t?&vYiCxm2UK{D60 Q>TbbqJ#ؓџ{τȼinF13ԦՖ36p7xsgYZ7zXZִF! sm]ŗXi%6xevXD'2TT\Tl# c f\w\::Z@weL'.j"T*^=軸_ҡbޗ <~H5MUMre=aܮNS˯z܌+ߠEQ V,j5Y[zv1#n긜o}1WqۂrӜ<_sZOn[ }3͐=HN}Ts2ITԎC/mpV)k*pNk^ԈWKѩWNs::|RxBD=˥qh=Fg$QcGQՄILd sU 4TC%Q@v^pw jm,@N<@`}E1 ]T}4ri6L%$H+~0How6+{̐ b.U)^|h+56<`WK!Zj6>_%naRO[л # Statecharts6 ^9 ٖbL)1w/w{} fimwNE{bG )S[BRW4 CÜJ@Ayܖނ,1$9>CƧkKsH}Fo-c w<8cU^b:2-'t0r+?NXb;dbВ 4de)ʣ 2\ȳ5~i.O Z0Z*p(wtK(1=GZ*%`H 0Ζuz[[eT_EluREBO2Qt`\1 c mD"ȹBx23ډ L>e0@3zRmULSBrwi6Бp>-NڭR{Ӧӛt /9!wUb 7.0Ço~^v3^G kJZ{v$1A!.6D1$07o #G`mbϱ!LB\¿=@lqt|u[q )!8ז inM?2Z3r$+I'ֈ21φ|4:2DoԄ6uНi-bLQ%4bx#(?K.#3^ja ;.Yg#oZ{#, E \Q#P(y0:;, pcpV;ҮV)݃^`4)_+Y~0a(;5D(TbYO7F1RK Na&@ InO%Hdy,?pAv}042>{׎@?gk?Ajfȥ-(~pQ^x0I-=9\2An곴 yvޮ0hU7߾~w,(xx'ZޤrOvNadK|%^J vo.jS(6\ .C^n@rRCj6`Nޑ k!oX֬S`(inW߬teXZAvhMHLfOejWY0dOpb(o \uSS`)B=ZIDJc톐F)"b>q elqj!6~i'Oy*b$WwnqN='N hg1Pwsޮ8Gvuq/К/k^ |7nghG*Mny/O`]gv 胝⯸€l7䝍k=mC9"*Img=OSwL•oqp$W fA@41;v;3R+Vn3MsQzƜVQJb6mfgV%E 㸑ɭ/հ+=!2^~&UhHZga80Пqj^ YmVwF7,5g $gCOİ  H,[9LAoJ$dԁ3<|6w6 ]pbX\. Ѹ|h|`#K-_Տ-H#@h@#F,fvgBF 0Q9 O 0 ;l9߻ۣr ^E{гGӴ WN8rtM<0~|h#+^C_Ce~Q] ,{+'Xy-斀V8=OǪa)z:} sTK1;AO?$ү6P=M]'7,Z>1Tsgђ>%#!) `w菗@¼/E0 ,RJ~f9':gYZ0ab2a0f95ea080d4531c279933ee3862f2b5ba21 0c83167ac4d7a50779ee32269c9488818d7aac89 1fa0d4ff387df4f8cb76d6dd90e326cd89269ced 2527e1e13b134aa121628525d63d110679c9b181 2942053722479946c3b6ebb53cc610c433b76f33 65b38617f3bbe15865ac179d5afebac6c4953290 902600f27967b045c45bc650eeafa1a99c4d8a8d abb0078adcd17deb127a6ca5ae4daa8bb8dcd871 b10003a0a1dbf68f73acb671e52e605db368b4a8 b6686de194beec1fd656a0019275d27036f8a6bf c7bd9796bcaf96fa75ee6b2fc2a9d5345a73b025 e4f7ae1cfb996d541f9a4023d05bbf135f933c3c e5bc590eae388a69671c9f4804bddb3704f5ea0f ebb244ff0e2f5426d43fcad5d1013e91286f9264554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1