SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ssn' 4  Myhill-Nerode:threads=2elapsed=33.532cpu=58.752gc=2.520factor=1.757zXZִF! ௬ ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++,àmKez8={4m̡zYg4/[j!D\$Bb1Ӟ|_Aby-oΌs%)jPjr 7.n #.E^g?lףu a;ûe$Dzvq89]9[J$BA^XlݻN,4N$ধ^/RȻ q_hcym?Q wQkaC{B(|Ԏw6 H<(%-u,C1aV8f_)\Z4fC{& g Yk2Scl& ,o`l!hwd:Z`xe\)cxΰZ+"<;-=f(N.Vqra$T4 -T^Vw(R,CW4 4f) }O4w{-E\#U%"6sr [+~6Q!nٷBI@&Y5un{V&^xeBmTqCɄ.>gSIV >(wPT7p>ĒCmw^Kߢḇ(:I$VȚg,^tuWY}g+]A=z..bQ-J~G*n~{&_K= ]b_ޏ@bO"ďRQs_+K2ïIG֓ ' Myhill-Nerode8 V_nWQJJ[5L=D 5Ky^i]BpY\D&x OH;zn5*H|WB}}9$mgtɒe<$eڎfqIxBҪ:VԘ&MZ¿?o%7b:_y!J;tbyxvskE*%cza"yUj{ݧ9Ǧ9hu ml>ʴ2T[@]Y]MAX0o&,"a1=l#!&> ߅#*-GZ_7&LB~s@> 2Χ2)ɰsŔ3尴ק֮yTIuq Yfġ#|_!¬`Gu zjZeg.R#0.6S+/ 3$l|%K~X*7F$2,б ɂކr~lsX}>`={y h LYdD@5 \pc8q~.Sc/}7PZΝYySvHFc<6Ahu7#N2hADAݪj 3W)iA1D~!,hE#LQot1*X.%\g}irj)Hu$6OP#AƤl_6bRkL!DX{E;T1_8H0_rcрw n .@ܣP1ؒ}X~cѯR| { j:җO͟\ׯ7Ia#PSuLr`A ?x7Q"lGԽ+A2@x>h9ՔSPBfd_?ń<I Q]b=.(J*CpCPb#t}$eM!lGRKoSR@+eVw,4qe\\ ?]כQ8d$sȎiIcx'nmTV&-ƶgQ|-<ٌ(MB9WEPs'V4My1GEJcjapՖM8t-R{׏`d }y=7˾hv2W96s`^Ä}LkTK~ d7ݪԶޙFrC)[eC`tH9KY]Ynpy DŽ.J 8Ae1|u};HݮV.P 5[%ࡪgXSŸ%qR"mhQBb~ #t`~^6:@ CAMF p'@$qf+<H a1E/"+Q2/*J[<&T-π%#yh>E^IųP|ӈ9i k}˄ 4uŃ;^1 #5+9):HD0]ewǫGarvҏ2d'50k#&*s]&`Y NErFOYczG>r~ǩ? L/np1bk Eg{~Dk.G07*ʊ,U^(xHC<=?%U>T,!p\{3P\!'^^"RÆ]2oI5la3"n|s>Gsjڣxٝ/ˑa%ЁU&yĘMB.sy8z -T]~߹j+_b{(zs\sJ[ x%GF m>%}F-7lBRp&7Wt[2,(0 +!WO}&Hdb)3")@?1SWݨk~G]=~7gj+a\E`0z{pQLՔFeg"|µϥ(V& 3"lMűgYZ7zXZִF! ]ŗXi%:0/r`RPA!q/w;]LX(|o0-N?{<~_mKa̎|瞨ZlP%lJc(l&"m15-"񒹿4ݽ-E|CY .LumZ D!{OJs&/?H&lWjv4-VL3X}EQbfO!iEo, I'PBI]rP؝.5K!nTW{le I YTO&(  xpc9+$5.2 zAXHfh`_#G\LhS|sBw6RZMm6-5yH>l</,K'h䕱eރ:5H͆֋'HAjQΦY{ur3bK C?8Lmt`^ޥf؝Hٙǧ|KBzREblE뼋a ie[u{LM|\+|ϼ zP݁jPdzV^wIkZ VdYYp{<:R}ȍާnghpsҗԭ7/Z9Sf&ȝQA+}&( y $IwD5#A{'3rGOa rcA8i+# Na_`S٨IW;Ugo#SM`O{8 mzU_#`Ȱ5OԂ;DD9rI=[Pmcm[ϗ4X$pqmϑhA43q/a4vb3@Q&!#cZo/g`;6&lO3_%23 ~M.n? HNXʶ++pf+>q) *+U L5? -9X6o5 `\G<ـTNS#ی@dB>,`& tZ%aSe]df+*0k sJiO0)/6Gwc%`QdUM+ *y  '!37 'g A԰zƦ ~a4?Ɍyec)m纺Tb8y"1:o>q I @D2r1EmRdL*ȺQIϦ6~TfHg>F&/A| *}KdZ@*A~'Fo5T!٣`>ȝD8dmʪ1y|֣2 5'5ER82/ b> |SC^v]!p:M"x ;կUGj2\sұ6}ąDq(kEumy*H/ȅ; vUwPC4ʥWVT{K`ASz1D>w^GI*JLiu~a~01E$^!}_($˒ro&v9_U`lv[ItЮPjU0xu(qo *-=,m=D_]%VV'з7f,7`0 w&)Jl]* ^8(aj/[@zy|R;TBnӚs^8/RVi/m/A-CTUVXA/Ӵw0DoTIM6!JGEPV r&k6*$#|7,iOa>?r\m5 _#IrNj).0\Ѣ<ڤbFW kZj(en3RVR K,:Q hYxxʵGv_GB{}Fݕ@<)FIL;^xS hbM#.MD|&4Rwȴ =ա2B3m[.F=4il٥nc?[tj~ ҃vPpb+XٱgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 1d6dc1579605996cd7794b7159da262073c570cd 2232b04a67667704ae029600345555d924889ea2 2bc8cc6e9be5cf95945e579ba08ea994323a0ec4 3032be206441c7a0278a78e61d3c80965912ef97 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 489cc83115622e6abec1120f6a9cb06376b51e20 52b0aace9d7980c050fa4e0a384a785c607e5f31 5554507406f2219d3e72529ae9e58f6caa1f2e86 580dd9643d7c145e921729d14f0a84f6eeaddaea 71a02cf1a88b6183f35a2a220c2b22294341faf7 74a314581c98361286a17f50616f0524af2b7c10 7bde2941709b90ac9aa476f401da3017d4a53594 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 8c3f98f76e059da6db66aa785d3bc61a80f5b332 a1430c36debb751f52100e7681c0c22e8d86dd30 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b9f45f1359f659122b1c5dc28e3affcd3f2783da bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25 d0ec1450cfb711e77e017a32b4233b76b39def0f daa711f4eb8fcacc54c6ae5cd0eb081cfa8b0f97 ee8fc5f74186449772f156f8912c9a4cb4ae56e9 fac8ec90e4f007b9008fdb809babfbfb06349f8d878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12