SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 CC2#,lD ]/ Statecharts:threads=2elapsed=66.438cpu=118.316gc=2.956factor=1.787zXZִF! ]#]ŗXf1-/6vR[]f])_١Kh-UWv R9l][LhMZ:;cі}c1iFIQo[͡>-njT򷁗襶˦^Dr:"TW؎56&TѪc"spc\Ovb `s,Aӷ7 w  Is}Ga"_ ;!(v7O; @A#jz<5/2SniY -ڕ-z*{Y1urĸ"jT3Hq͋h%-4v9!OjZgɛX؋T&R96߸HԱ2޲tPZ@]&T^q}pM;m~v;, u|Ee4:I~R3x,wyFw׽vԝ5?w-ܓz*jzQ  #w\gAk\ʃo.g^>m]SdhحkJƖؿ.g{{p[ė)bm7Cft(>zIɘ-V8*Glq@bXG^ JB*ٳQb[[(z4Z'BS5奱o=Wuxf;n{,z=._{lD FAA\Ԡ{Y(âaܑ鈑$|bq]m:, b}QD gzf$ ,(D` b'=8`iHڱGE֫VTF[7ro!QJ2)N"jl$bmU`gYZ7zXZִF! S]ŗXiɟ;=Dc+uK|VʋcGRA|*-i_I^ƕRuS< u1DBmojK<H}nWaQ;cj>>dn(\>o a/*w((")iϚmNٳ5DVS}; 8z`[3Ba95TM7Y8Ɣ # Statecharts   3@, Hb\}gYZ7zXZִF! TZ]ŗXi%>gY@6W)oi}ܦiDtwƜ] AXvZ zC1,RU1fëy>uQ0f3pAC%`" k23ȍ+N %:5JJ/ L#E#pO ~[wm]*0kdr@8Fhë$j;&!t=.UHO\:\~%!Ȋ\bsm22Gg.:©a\څœIvHv@7пBLVs@k3F^Feδ-c_OŨGtdղ3}wj)1h8짌#@ꇊ/ ZTC_[SNbW)KK,:żcѯ{XФSޑC~4*Tix+X6A!9F&o̩XT0{La;Ld}8y2(vm=oʴ|.}vu/"w`S؉ 3(q=c{:ǁa__D}lJ 伫:`VfiOnw)": M8qo`7Y/0'Ax3}i{)BSp)M3lbdٜ.R:8Wi)N*nB+yI1m䑆aQ&2=V/bL'NJM03,j[hACi4 #-҇-DqΨ3/~/ׯ] '#Џ.rh|Tl+sz:|l}{s9r2oG;! tRac>ՎZLj5YDʨ۫tܮg;O[@Y@d(ޖ_^..p#/]&쉲Oe& zx#??'XL!-W$?{/.fUrZD.HǍ-]UhͶ=XP% y@GI7\b(.|Wúr`n>īY¢#OԬ*"g/ji. SGIif2$ove.(/[?:jk|@K ~j< EA&w64[kHZ9z.K% Nvf4G7? D%S|ѥ坡53.H|$7MZ+ar//VϬ*\enaMBe1?UpBJaځoZEL +z `gۖZLr7ܡq^Ř#H_%ϧ dc!s&o2@ ' պ}=*I,PnrzV܉3I.ݿ b{3~B8h5A! dnY{<bۦq:X&dj|C4SQ3e>(Spsxv rQ`{PК|THۊ Mck5Q X?9ަFF?+Yot4d[3m&7$ښܚ{5Py(+dC^b Ξ3 v ŏVQ2LX9/F#ϛ6{YQwnF:CkX?]Da b[gp%̰I XK>:6՟4JXe@i4IA25ՠ(U|3YR47FJ$åiu_mHV?etE% o; CsL/5l(],$= 4N%;wt{.,oxY8'q&of P DٺAC2,AOښ/j$* D QƥjWP--MPT3 儑 (P:Z5tFmGT"/"dvհpX}c%_<(l XLCQՀўГG]RAMy<0 TYlA9㲃K7"{Z%BEAɝzrw goN4,XGb\w]Dqb'!CjW`N*sgaױD[IP2CT^*Lt0C*W|c-IjՃh5b4 sny"7|ržUú Hshs?]Xᬘ-w.r0LW% jw!,݅D/߃Hxƙ:[ҀQ,~ \QtK@i>`8K GYmqt`RMgÕlaa#Q`}2rٮރ|FS2Lo)(?+X W]&`GA[rHKP] L[?'.7 ЉL%E1 Q"B9N]q_@0uDZ3ޖ#2whsBKJq1Z}+Ờ7K}%( P''k}_pṀ)D'2uvo뻚{9K8I5/\8G8ZA򗝀3 y=:Cu #c 20{%4z(v0{D1YT Mv[Up%[ba F.x8/}|$]Dd|-%4q=d18wcl# /QQ3%8 FV.LW&xg!qA7uţ)Nǒ͓&j1h^Zy`Gֺ?\~7oS3R_,+@@l<=@җk8;>Q |-N}Z$fmNNq;CXE<ԣsY'X Cŋ$JX #qm(M1YIbOL隊-?M]9n&