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 )/ \L  POPLmark-deBruijn:threads=2elapsed=24.730cpu=47.828gc=3.044factor=1.937zXZִF! ]ŗXf1-/6vR[1u 3ܸ&S$'W'&ӗտF6|r5*Ez "%۝jfˎxApi 3j=/#q^> )<b E⹦mKu`!{,0U# >67Dh:qp+lLy>>" vxY[y / POPLmark-deBruijn-w%m!J?k ӎʞ.٬PkI Qs\ƵdReTyd{}EQv^Z3IHa jOtAUĬ!v"]ĒL^;s޽&*~ݹǩ *ӀߗBm8pwز82uѠaP'ך4;˗$7=pV:ɪF@*boN)=:ݳftV~S Bu[5_9D +޻uuq"ԐMN}9o(ڷ27^JKWz Ջvޘ9l?4B$$t[t{9gj Q#`XɃSvՒlЀ zz  P@ tQiKR%}k.>ZSr_"74e7wT;Қ™y!&-Z`p@e*"eˣ (VhV9o9R]2JʈlM^u2;l}KM?{b93$]‡49[(]C 20W @ VS*؍yH0:ZR|7Egn ɨLyr>2ZJX}|h*(NJ*PEBwRW,M*ddrvug l'zNp8ZV{agE)Bz5Z~ÎvӝDƮCr#?^dyGiӸ+jB'a`(CAh*fN5R*lDHSMi=d-Uy'f93Zh1BDY'(׆/VUeqrO<ͩG}4&t}"_Q REm=5Dwa`Ӗ)#24ޝlv`j'3kO1u4LQ091bTMD@ hU(œ,u2v 8͔ y3ej GxdL? 1z{EH>Boy2};w%bH{^ ̸9CZ<1d/hb{qWf=&؆M65=Je! +NRqÀO2 T G`"F1BI;^^3C*#lw F]B\2='‹$ ~ߤqLE&Xa%.70< 5U+9j 0E!z doGm9r%B)uO#b+2gU;ɑtHNny8I={UKs% 5l3Z͖-E1=t]S 0+7sV]&SEt Ix\3GW7v G@> !x`֋nǔdS۫)7|c'[; eЯ h t@3s {JH*U3MC Ɓd?}\ʲw\n6 +^q8IgB4Ll҃RW_rzR1u*$NThH87c0cl>5I Rdŭ9cYf家SĄ 鄼nA[s boYkH.nFl $a D =hut)x8.ܠ٦(IJNC!GtS'{J=Ʀ_ :yoC,@m3\kc?* <pY Zh2N-v{ r )~Zɫkҿ )?MhimA#j_j/F rB4KyOo_O`B?Ni6dfk̎F%%?c|Bp>~A!أܰW)kCk9عK?>ob512w7 @q<,&h D6HZ.뗕L-\(CB|tg5 {E?ƍxo0Ou>KpmsFI; _=;/A|_cOr|CK!kv$jiᵁx@~kWAeJ!fŴnWxgRrܣT"Մi5W'VKm`T1Ʌ &~5n#!j3$e'7`ѾMc8z $! ھӽmو(izFbjPZEG/O_^Z93IS}-$Ms/a}?9w1Qrͻ:[CHVlC?rO "v4fO ['!gYZ7zXZִF! |]ŗXi%:B rլȮ U1:Z,{sDZ\ ?MhDZqJѕ)Jˌ891l,Tէ5@_ҏp*pr|^Wsܬ PhJ8.OIOl:){gD{1*wIX.m1g`'.1]#) &XigrE]=S ymްɚahǝ`Ҿ! d"Fێ6U8gaT AT9\zWF)ź^]6^5e4;ƊArd}uT\]pEQ3j9N6:ۀv6*og rj12]2ZrqCGbksLmY +~g LLL7^!&|ٱiVcى|ݎvφRJe2VuT*}+V(rHN&2LVF_2T Kܶ ,0e/{I$fZ#o$&_4tnY) esBByG)M(>>ϖ) >z\4H/+Umf R(2&"?I_=X̎pc6yUo>9q!\G-Mϗpk/8P4ҳTS`2'kc9QF9×r͎OͪP"W]xHkg. ^v Y6I/6IymȪ=71cy?(Tx(iZ'2}\UI)*DwsSP1=z`ؚELIP \0pM[^3q#./;8:JpΓhrcgjȔkTmA羷 3RUF.׻Pw9C:;1'F -Z^t<$¯ 1`NPDTjfʂC/{-DKϺFuwmoVbeH\'X\<] C\zیH cXh. kم$0'qTE.vh-Y9}vw*WƃjK"v` ٪f{%bXQ0#zwM Z1`<-MO/}ڨ-C -v/ ۽gYZ171de2e8e04c619b8ebf4a5ecf68c39870853763 20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e 37694fce0e46077c125a67bd1e7a07553ab3dff0 3fe6b6208cb2039d2efcc275e00a493c5bb2a662 4173f2b40848e3bf6f8ac91aa0fc719a39daf67d b4855cb804f992d2d2901784c628e661458ae39a e182e99baf7942014270841b40355e1416b27ed6 fc61964320106a1d5751e716b19965af3ea01079b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 6c1e2e695a2f0575bcb7e67bc72be34591789107