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 Z#t|< ]/ Statecharts:threads=2elapsed=65.700cpu=114.612gc=2.680factor=1.747zXZִF! Vp]ŗXf1-/6vR[]f])_١m{!q,a\N؏qb%,_Ձ&bȍùPEFMV]l-_9mbN:v=<fz9uq(r֣LX ώ<&lr% G|u)CKTtDda[t=K4ɹM]1)P6SL @=i)nXzU=CIbnxDm t >Cb)]w Gp;k}8 iA_X-|N/ll4a|d+PIwpjRxqu=ba{0RSO;4ˊC~0iβi&&t(le˭?h<:SM^'r”%)uߒ3eJBnwR:Xs.O  \P ie?vVfhT-a|Nq4Qj/. ^=xWDW SX!bZ욦/,?E"=FM4>+$pؐo`g+CO\Dͤ ;?EFq7ۺ9=𾟡v=9zv c0VN-.!(X nrPeAMkħ$솩Z4#g x2;&#C{6|.zIy9%ͲH.ѼQn0@Z_*'@HI>͈ /\83NL!sUoZ~9HX| G򲙣:7B|!:{TCIwΓ-R`79vx@4)Zh)(#}D3Ui*i_:br)GHUb6.?3}7~(;8L|@= ,$re~+N0 hIp./Ͱg?='tR"7ǿ"ٕ< R|}K-k{ 3LDQw : ^N*?:(ݠ[Tt&ו:5F¼>Tc$ 骁NeOkj_U!e= B?֙uQRH֦:4ڧSoCOt"uWfhps:7o WI&,su}V+Fulbv2F՛t<#Q ^ďmR?RI u͎KODr"-3-R5>D}~\A<-5ݘ[^ENSYs(F 0jEhok]3h37/~%1neY==gf~s!lXL҆@7vjw /gYZ7zXZִF # Statecharts! S]ŗXiɟ;=Dc+uK|Vʋs|[iDZI([$en<>ȒzWl~A $ =D'GY1>n6R7NU%nw8zW[~cXVBv(e)Fw%s\SǙ1&CNr^7W)3?Hٴwl+#cXu)*[xY" ;jx\H҂6 \:'±gYZ7zXZִF! He]ŗXi%ή++0@l;1GF.]JMa\p]y>y^C+#Km^Ԙ>R @-Fw2]uS:?̒S"Ok/e_y}b r+\zGx'ݗg?!BNMZX$qAmď-OË́)I7=f=4X+9iuAZ^_>Gj,$GNO +a$QdxI?AhQM5DHNg&ʓX.;k:NڵS ;pj~8tʽ28pbYҬ.A/M)@&XhۯPNwJ nA"M^{RaeH4=+ntj'UN\[.9 r twnG0b.3KȟH[8^!^TuW]wFLyo{ƍ X $6oȊCⱜ MlSu)5||Ͻ1lj :}-\Y"2o̊1T.Kl=ѺGݹ-/&yeX=_a,kGMov34=唚c̥|&"Ru gwu1%8Ҕ5 }n&ʝGşG~ [|2@@GW բq]^F_hg"K #nۛ[Ih6/ңI>Wc}]6{IhAqSbm_TP^ќ2)9ɧ-i(;&6h lDzyUQq,Gdmp,v7#"%aɤ3x!rZ+ǫ X'{ufJax8q6@+՘b6ߝT{)ߋ :#{)arBDJOCUf0ό٩%p8ەC鯗ѓ0#p5o g `1o|bet=S!)=QiYy9I󗴱o)CY| 63<ܯM _vřH8IVM$y6_#V[W_k }@_+By;+};HZsٞ AoăKK*$u@}ks+SL*)q?8QQ ty4@sNY[  $C÷A +mxSl9J"n-. Ӱ$]ǖ17eRn^kN=PK.wH4Ҙcvt"NVJ>nF|<|@Yo)HYxihsNO2`_7-XT)4<׵KmПR߫oޛQ@Oq"VNJ{.qp@#8Ǫ4!k}`׉;r(qN7BgYZ7f5cc4af273be5940f52678f96a9c1ee56a0b6dc00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02