SQLite format 3@ .  YYQ77Atableisabelle_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, "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 }' \  ConcurrentIMP:threads=2elapsed=22.138cpu=38.852gc=2.384factor=1.757zXZִF! 0y]ŗXf1-/6vRZy-`}$=O]a"RTcL^? 1̇rcPSg}C!6<-GcVGtS GhUy`&sFZA`a=1}Y܈yqkr,`ն A{|g]t#ReKf?!/qVX$"¥ηǁ:#{GTylb^[=;L<~4n]^vЇ><lz%N#Ҥ:$.n6qS6Av@Mlvx;KDDꜛK]u)`6|M/*gyua6rh~z8$DwEBmk[~^rte:Z~y#'J8++#椠bb'5?{3q*\̼MTʕˇEi-0 EcLfѢDT3y3Ь)f٩ÚdVjYYn6y((0p LnbKto& R,[6Mؿq;?Ճ[nBIH ve8Vqn|g*9=ƺۤF$zq㒤\&nY(czK@nk@CxHx0q" m`S u俕u M0"gh?nn|ȼY>=qK)8K+,U}*d[Qi "kw2yGK'ٶ&7Eٚ;L/DKr8ĤL {B]Կ5LH5ъ Ahɏ,We.Kz B~}JSwN!UkFI^aBs*+.qB zq?SB۳7Eu]Ju;>]g 0Q{CQ}'?Λ~bJK>]G_TW n9dmP v޶H8UwR_OV+CkF6$ːv3K0L*=AOE.`mPN_f3 0 X >ДdTFy a~1gYZ7zXZִF! nW]ŗXi%n8PRqͨQ/DƑ-<[<_CO&r"$QWGLBJ_ XusP\9pƧdG{i4*(5Wm譐PÞ%>bļ<憐e"^=%q2{3o2AEz nA$p/s6Wx&~G2pxC6;(_ ny/-^*F}{ޔO 8HOmT6#yyP'km}O977s@}"}$`/R++ :,`@ig,R+o#ur\w&K86.:YK3CSqsaumN*gyhq۩-ҷݜG r!N['< n rEwV1'fc'8iRS0F%]@6_'y ak?i|oӗ7 6ߵD1^b&)FiVviWUVhV7 \NwA!cWGcj9L^cɐf]N=u:4|ghD0D tWp^[5:K^'v1؈}lVF7adeJ4w|n{HŰڈ#GEMeYn!E#mWJ ώӽ/lĖE>YF 9 >DDOghE}/COz{%z|Yq?Kř^rfApσ5|[ fwV }'ђ߇R Z>kH= txkp0WM"f'˘4̊-7 k9o!ЈqC׾1 tfSx@`}CԆ.yZv)n@8' ?(32q< @+at;{q^u⬬K]shlsֻRwNK  lb1NK3T =[3Vcm,|F5aCgrzu>8PFz6~U1Q_J?Qwv@3?̍fxnT3eȕf7mslvxJt@-e\#dT@ZO'ޱ1j>{-)~xP@/}.ho>;v BBwV"ˍV"1rV[jU#\nRpeڇC`cݴwL˕>Cllfγ8 X֌_IGy#oE/x!)5O5rY׬_2e3z*>Σ˷  >ibt=R;޽$░6Ik|I7#|K3[eѽE1 +\9_GR gɏ ~X l+gYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 9eb774097b3b819ccd6a4678f889ea1f52435831 abb52186ce0c45031b3ba6c2704d52a3ee29a821 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c8b28635b2e5a8aa1607d2d9124a98e97e15fd40c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da ' ConcurrentIMP