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 vvo/ L S% SDS_Impossibility:threads=2elapsed=67.969cpu=94.652gc=1.972factor=1.397zXZִF! A]ŗ / SDS_ImpossibilityXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,8?/OɶJcW&z~3[DZ[> @ <i~p"p3{uBtq [㤞FnLu<9ӫ8^7xJ Voy=_,f"0a.Ž,2^m A)G D!D*q{l+k gdB@SQe;2]W}FK8!ʹ*XM1б[`((Y w$r1Q>4xN'_S*7tC] @]pT1.(zYu/23r,clJ &:I,8 |{HzPmnR/+k֧b_8 /t+]$X}(4 콄 71߸:؋|?z<>F'8}?\PsjE)Eq9'he)٫ah?}{rj$(_|')S+hK7 `vjC>nh0 mCcu.VvT `HMifيspccvztm< rR{ ծZ~h˧8aRZכl-L#x_RĬk@;esVx/.j |(ګW 13X#x.OEz*J&a]\ۨz9;ֻ_!b>98Ɩ%cz ,Чg_< 3/[J kEsOx/g~(O!?+{ԈΉG &[]tRCƇ@wkdD/?ֿP[vU:&G82uOE+HT{//8L+;Z'MHj1ᮈacx]M2W$d# I]] ?8Q#!hvXkD,Ap{x8NФ4IRo|AaªD}/E2dLx'D8I8y 2/K``젒2גo{n{#Qjvsq3#<jYH1Â\0qH:g: u.%z cf7x- ȨJ<(Z8F6)!~)?@Tm5'a(CT ɇj {X}%KQpy]7@~_tmˑ̀_ 䁩;@KKil,d#c$JDb1U"W2n<+p$sG{@"ˈ{SL*{s)vu ;XӁ}`:A%*v.jܳ{?39wӄEzBv=X{Ĝ7 Lu/L.g8jV;GX2kS'6x\9" ɭQ,6~#b7v 76g]Tꈪ%|k24A,ASѽ 5lΫxrn7uT%u<ӵ-'sc>8]|a^#K fYA*v~=r5לf +--$ɩҤuK [+^!bt=Nv!lu{hKlqKe?w,Ip.@?೶P6UT ]9u8a!9i*Z2w*%ּ}T`m @|&9.PIk̋6ŸmjL̉s"e̖އu/ 4Vߒ0"؊6fXz3+j)%lO}.VsZb(F~mn S yjpo0Dˌo>x)<͍&Ue#6%zl2O!s#aRu0vl0n rJNlVbm[`fhȫus~sTȗnƮaCp( /YMt>hP/k7\ &y!RmQe{ٞXjvY8 Sˇei-r%(>"yPU΋r]R,OT{gSqLK{:̈FSTϪV+ro&J@=R47:(Au0/e+gX<=0P6.oJoxQi»tfAdn&;s $:v]o͔ Ae>,[%,Kz/ó^vp禪!PŠwN簢j˔+ggK{܊,a'1&8gT(eYvHܨ;A0Ǚ^l&HBfnAxmfӅ6~X" L$Tjo-.!7{E }ĖI \{ ?ٲȢӌ+Fce U5ZHS}jfV4 PI;tӴ%g8alY;Êt;Ì(i(:JaQioe}bA6^ז ղ9?-T2)_)18wmMue?s&<# ʫ>56ku;z"I$Dib0Zb՜MT¾rբnз>N;Ye0;B>Lw >YL'=[@W͵}DGTu-tpygaV!&CV ~^6I5r?`(VxϚA^Odɇ#RAm+&66?HfnIH4}k\=*b6B%=F{#:#et”{>Ȗ9? dY繐ұw5mOܘ p$ep7G zl+U > C6(ސQE%G jM;9FZ7VMz)=ۅd4"5}l~+ oPI#haѤbv1Ju4 YmCwP]5v;T\aSY7-k7In(`Zv0\1w}z9^ܘ2phQv Xtd^?|~ĀjqA*oTf+Kt1A]\ޚ_!,&_=cB>J_cy&|1Bʬ@#IDcMrU{[hB2|z Y~15/$uLژeC *n=FF>e8$@{VW!YnqF;J-|{f=-<Q.|;-A Vp9\27 TTŷuXalTy:\"b kտ+u}+<$gͬuӰDn=A% U7eE݉4 IfsZ<#k_Z+gGaW}<ƇױF勻%R*:J .w, ;iXCranS\.D06X ֳ: ,g% ^ eսe3Hݩ48͊\\"9j4Tf|DCҥnjÔ]X/3H:UvuSt;IlCڡB)gYZ162a03f9ba77a8b985c0c58729bedfc2c7715939 33673101c5c4aadab9fb20f44ea09474df805e21 8b9180a203c69ca2b9557ccf2f7be696962b661b b4ad9a5d7e49db3dc82222e04a6462d5145d5afa878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 53c8bd6cd9b4e6659e7c8d26458e89775080e70f efd18841017caead5c98b3dae82ea8c0b05c5144 b5f3036729bc9d6cce2e08b294b9fea0dacf6ec8