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  K K*\dD ] Circus:threads=2elapsed=52.646cpu=100.776gc=3.524factor=1.917zXZִF! G &]ŗXf1-/6vRZyⵞCy*!Jlú,CW+j|cG,F` ޚiAո&[8T|efh'g%!F ]VD%hLdv[.$Pv%b9}lͯ^ī.LpBz<^W&x2q|FtVSSǛB[A7@ mwjk#xwG0юUvm\cv8A* ޸y$&_F]|L8,0@{shV5z~\{{HUBV 4>߯r32b-rtmmׯvhEp Ȓ=Fr60<:-D?OL}"ZLO9+`07X@cTe=![R(j3 5(!Wlם6dO Wbe mNJJvAw"e|/X vdpLKKp,ctd-1ƌe[FƐTp{FtwJjI*jBP,fEQz2=Yz܈`mFvh$B]K=vPqΖ;ڟ]7#1W>1&?>#ϴCZ2Q%0%&H݃F7,5 /r`azpV(/ٔj!DA} YQ,Bo 0;yZgYnOd:F6ၔ3L}AѠ^aLO8[; ?"w3Z7lI#1TGgiLAeI ﯊Ҵχ<cqwȈ6k*? 6I\ƞ8d?R.턏݌}N ho 5p>^^I L>t$f!8x2NHZm k#ꪍ/ua f hD    Circus+gYZ7zXZִF! d,]ŗXiɟ>+yC, 26պů,#"B yƈoy{MZm90{>=;.or4*nH2(i םC,;8}ͲTyt ART?# f-1hn7z+xl"ux+GBkN4 1}F?1zYZDAcgdl]A͢wKc1ۑޑGEe=h;.\^0]\B )beZzgYZ7zXZִF! Q ]ŗXi%92A80'3)0>>ZAVX.D K"Yf%ٚ>"P-kG±B7`I ZHvr(^A,(6L%=4PhFf\Wa6S yu,j'V$iXق \jctStᚎ܁Rf'KGkv *%tJwC߯-u4mJ : Lɲ/A>rԜYК <6x DҹA W#}=ս%q*_^Og;* 6L$NA3̊ expe}>VT/J"K b1 e}IS2ׄtCX@ŢS9?rAuTxTB)ڗ g_E>vgRfMtjY&L,ើpHTe/A@A/pM''J lGG$fuT Dv\ц̳D&.>iw7iR>F\wyrǿ[k}Stz HK#fdȁH9ٔlAh;6C1Bs9;NGVlc3$^`\(U{E[< eGٿLYǛ聧2GjO &1jb.M%!b{bX.Wq6N8Ә5Ïa!FL]>{܋KTlQҢi v MjvɑeаqGwT#.< |J&YL~)_TG=D ~a{RWEi9ՖIlF!OI{#WѼ|os]`f̖ۖ^5E m᤭\llK3]NwM0M?z-9iI΋82Гϻh@c7$oWELy1Cv[^x6-?UBshM!ahq# -ىblcY|6V¬hi[(f<+ԃ\^ym# UcsdE%:`~{Џ"4+EszOy ML=GJM'Tp \y, 20 WJȫ7̬wSOd@nl+sݤ-e'*4)39H`՝׶WI0=p;L hx[oJ^-v_ygp*-b&Zt?wlmQXˑ/mh 0SPM7ya?/l;C&_Jd"rK.?fx_Ǽ\7wK"g#0s&XA5Ȅprck0٬e(<|tV7<5NPŘI^{ RXjY nߛL)!Y1Ao{+=|c ш9zRܿ2ZL[VtՋ?vU伍i5|i&O{e`~BoJ4]B­e4 [,>~+:#:ýxcQbQ<q[[G!+K}'H 3{dgO=p`%X6M6\OX5TzDbz`ONڗcNhSE8hdro# ] #3wɗ5f9 >[Wv2;r@뭠i'dX?| Ӻ0.V"v_GH@dgPz] !/,Ф{n~N9n8?CMyYH#R$:h\s;yA&+whh;H6 ktis$,kxC-A6Ko3=_fEKfp$sk;QܕP)= I-"үѕ_iXN`8 \UJ'~갹|5?O;_j&tS׍TwsE[T@fZ#,RdlUYi )7" (9w77 Su5WW^|P(u E[E$E,<EXI7#إ.ۓQ4}I[@zM+eg#y@7% 0j 6GD26k2AJcUVaحű7 ㅇW>KɬS'o53' p`MFl(JyUDzWyދ,M)ZկZ%jvR[3-NsfFaǎc48o *̷hge;"3Z/e$cxf <HƗgYZf8d0b068489d10b8f9f543e9c87dfbe2b6f5ec8df4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 7583fabe1407e2b392bc17310a67557e9710e44d