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   tK td ]%]Transition_Systems_and_Automata:threads=2elapsed=46.210cpu=86.548gc=4.788factor=1.877zXZִF! ,]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VBA-QP^˃CdpcYKdܞjcF9/0i)~2Ƴ1㥿\ lHZ \ fmUO %2#>Lb0 3{{ ops!ؑǩ 'Bt]p۟I@4d4~5Rh mc. ,o tj5pA 5Ձ'zY?¾ ]N` e|FAp+t2<O4S.2Ѐ_T^<+B‚J¦SOG@ǤHX$ȿC%!9%hrܺqU j *V}Fk8:: 9n1]P0F?Ϩ81Z/Qz<Ό$ő|1چ??l!Z;*R]"|dB0] |CD4D+;n:H^jE D1AҨO}~"._]8HW$'m#<894yڴBvۮ7FJ:n82>gyw8.EJ{;hm=UAis^؀YH i!F1G4Ik( gnd9UV5k-\% "K Transition_Systems_and_Automata=~݆Ӿ#?,v% QA̚snGQ槈%3gUTۼ| BƤs*΁Vv]8!"m&a }pBb.?J +MiL /%86s~P)p< 'wO61-1kxCTv&,Ki덴bX/|R ~ie,cAt#$N<;gY1'ހ5 T~OkC}N*WmbLRf1M,7vڡ}^77yTb(͗GVm@f1) YJ ͱgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{]I80S_: cPaV lZ9Di1XRhs \8O`9$?ca.,r ?0]8 ۇuM2p ȃڤ>h#s;t vp! b`]2, HP9Sq{SFq` nWb&tmu --y?V>v0횷>EJ2Wp>9#1 {NcTVt/ [^9}!d07AV ^H/#`-3iqAumޫЈӺq~Qzf Wnb߂"e޶?۶UZx8+Jp'6Lh>&BgYZ7zXZִF! ]ŗXi%ή*xAH_>b+-#qJ|$IE;XٻiHVJJY6/ Bvl?UI8-f?A8ZFOe1b.J=jW?Y[Vg,n:yabr4jM <"DžŻa7.HH5feD8@+^=a=gm=2%il}fC=@FEZ`/m).' ?YǨt9$g\8)f+ГLCAŸ}bQKJگH\ET3id!S݂0!7%g/k. I( jW_s=SPHFwt!w{m8_^ʽzRgpNl4S2.QXUE^-r'̸*;)PwP=CY͆fjY4PIdƆUխh|N8 9@gg6FOGD)D8K(eJչwV@&3*o#Vkd_Z^Pw~lV+f0H,ڌ,fҿN c@"Hdiy~{Gt0gUÇg!O >[ ?mkB5W+޺m.^K`WǁM!{ x4$6my95*O~OA1^j" &z՘P#Vղ%/Ԍ_0ѹc1VjK!Kk!%dgGX=TfGն@lofXx]" }d= 5 fs.Dk:mGL3"12| 78 Y`zj7iT. ϓ@dV)NEd8?'[B vψgM&Z&Ǧgq(Y地-S))ӹic~P-a=N /_4q@F;sL[xF;V󀸴̻=#e!QN:ީ溠oOszB;gv[PHB Q7w:N(g,PeNE2}eGp}WΒfߟ!ٿCEކ@BqotDf/Z&ɵ~D:s$8Y#FJe08󶍐!GCTJ By vziWhȺ2ہygE})QA,j3 uC$+cN9}K tv 6^"wA]k[0%cE5A,VxmCDPlV=Y8]/Q0Џ})rUYSxn C~]]deT&Tqwy_HX"†2ΉL.]@Rcl)D!y!́bGiMŕn՘.XKbL @[1+Ǹ9I]f[Q$~*˝8RxErg#OwD83Nbl8 G[>DJ3h.e$~ m5>({gOd~c3I{(?(yNC|LZϵ i/>fvQ&it]/ـikrG|'w go˟Yq]!B;]!>c&+sA C6o@d]ߜjeAW&Cf>1PFz f>,WЕ Fo&vTּ0hj]$83 znj3wy\ ooCܑQhx@;أ629 g=ɀ$?ϲu5;IJ-.y%h輪 M~P{a߭@v#iE65ZwVڇQމДGAao4+5NJdxkƼX1R#BM *#4 nṶYέ\' @2Yh=9ݞS`}n[0?  /H5@ =AN̳%82A>M( fɍS ίǽ\Y0$Yq4aADYrYfXm'ZܪmAvgL1=9-ZRuԇ{`%#lܡ)28lꕱgYZ39ea6459cc8fcdf40b9bd610d94b283c693a535500b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 5cf66ca79e6302b03b690cc77b658161a66a4401 31e3cdb1fa11abb502a94c1c5589905b57492701 dbb707787ef2333c022289ea1fbca53bc9495b7c833a5d8d0e87aff3c66e3f9919b412b6079d6a53