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  $K l44 ]%]Transition_Systems_and_Automata:threads=2elapsed=47.594cpu=88.912gc=5.260factor=1.877zXZִF! ,;]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^cJ~p)F؁[oNZ!8׆mPdTINvjj^Cj03R .)8 v[쎷jrYMڢ%ʑrR .P?26Լ D,*CKk7bc@zjrBc},S7?#b3|>!ɫ,GK \SՑo9C7ϡ~Q_0_ӽSg;ΙH_u0$czO,Α?eBqil"qB.pCZ5Bj  7 8Keg`J7Y6@2ڥ8@Th)vu[Z#Qo35k3D0E8U_ g&E .zVfҘ^ջ{_ȥлgItWdzi"TWM+}suH rsqF`T<@)V @ =_QneNlNBٸG*I+9MofOlQX_=eD]Y6Xi~c}cd(GD%YI3@M,,9נo|;p1OOpH^S\:/BF>rѪ!/::>gw`֪>HV)T[ z1X|W.B[p C\ B #IH3 {r 10i67WLP> sd@=YD`MCXw!ئ>!sLH FUT:4zR_`T0#P" "K Transition_Systems_and_Automatad:Jz{u2`t%Ilx%-N:$N&UՎ8\w>B:i,V6]e6iX##qӑo)/9eC>Osl% ,NVM#z҆h?Bγ2'xy uL=xN[)Sꔄ0m x#qj&=;x܏}mǨz& R?`ӟSZ _$1O- ކ'Ҟn@{Kf`%X٬tboEo!•h{ <"O i6նf] XձgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{%)fVϹ)[JB2Qվ3VʣLXTlagB*/UњT t ?x"ixJ}An `~At 9t_QDXv>tSΧ4iUQUw %XTVqn8iW O2 m¼nO_z$9x:Qh- i(gYZ7zXZִF! @ ]ŗXi%9#⾼He$JymDvѱi}Ԏ,wRhGػh 'ٻb9^#(8 9[9% [I^>0%K)$jź WuhS ݹ`Z)f1#XW˂NWGnMC5sL -.3Y\\{JoE=m눌|.q'] i2fꥥ.t( |ӝ53-(u xR>%Qvt@?1ߍ] DI~ G\UZk7tU/& "B)|F\|`!}:ES60_onMb_)E:^h8Z.fRӡ*IzqG{-kw1u2t fe:K皇hїaMʳ4PEugD(d:zd?mR#,^jjdGQ0 gIHW-!v?}pHv%CYؓNo@yE!eAc@_ __O0-)2]Yhl0j z/4n-`܆zNY0O<;1=.jt 0E#Dz@He1:Ű[*YfMs~T c< ^n5c45kS-v{_vT&O4Ei7>*՘v8!pZE)vF!aRB~ol -N >3viVuUA0t@F|6e*feG*T :ȡ%aAw~͙iMN]BmBUˬ6HF- vW7y&@%g &l8֝b#010~ki}Pbq fσiAQ.Rܿw5B<[e\U|ܷk5ww0R6o&MƁwlDjV6@7=4# [cTgg7DWVŨ:!4jP(Z.v`'qHYoXtRrdGFWiٸC%۽y[jE"<14xWs_ϑ~V Ƽhy= >[^tq aKN1튘c(zÓ'/_%Zdݜa1d&vԗ{hJ&>,҄Rthȃ*j?k⊵LW59H4g9kw̶1]±Jٰ rBAc`HƿH6 >mY%Gl ]K)*հQV`8C, Yd|}8Xwfؗ{: @>uo2hW_]IaA|%?a63r~Dvrŝ\"JT>M=;ө'A2؊)Ko:)IҊ*g#Nk󢐤Ǘݹ$nLY}@(aOLP/+"Μ1`Du frw.`*R8r(O3RE99[ZL%- aXHHԉ^[ vQD)jHӺYҌNg"6W8 pR{pڸ4K~RH nAYzOJ y)Jv1~7kŲF;nHgd n (Хר3kM#D^W7W#nѫ[lMxbv_F!<'yŸӄXFC <zObX[c$Wv3w\X tR֜޿Vxod(`IO/ʾcn曋3&?F^CkQSBRa-g㍹"/| A>\l*38O/bJ)f iCogGC"2eFkX]? b`1DPx;f0ӗ_Nos`e4!FZII}{Uu7@jDkYMf·\q%σvtť!2QViQP'/nX6O5ZhO}À ԶeP0ILS}S*9xF\|=&ҧ΢ESw#0SeA?R}dXؑ*c*A2̰ LlN&,N^$%ಈ^!x9Vϴьo|&+jak@EJh4<3@N D#4 d')ͦJ&| 4"* mVa"JzY;: 쓕֙ gYZ69c15b9cecc6b19e049de798bef0885952a718d08ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a eb9dca0a0b4d4e0dbf1db07755e5b32a9d8bfd11 ed9381b8231b22815aaadb0ef338fcebaf424cab fb0f36f526413c39491d0f9c0367a203fc57b0e4d2691cc76fe313a96c20f45a98ea6a76578324b1