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 I|L c/ Abortable_Linearizable_Modules:threads=2elapsed=79.650cpu=122.192gc=4.060factor=1.537zXZִF! ]hw]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3L=>xi %`r&5 !$1ۘKHfT'ŽU*p:ב %u+Ɵ˂CJa[b3:}uKIiIPdΊFKKD/nǧ/4y<:Zp Je᫃QUx289C|Em$.NZW+q k(>e&.&[6Wv8wfC[( @" Sm!}r_]5%͔d!y~`'"+k,s@-pDs s%ɁM'>E OѦSx: 2Zi3|g?(04͘> "Ar2'$[JZ6n9 >h.ϮQޱSZnV6~w5UΖ9M6&!B4*GBOgh(HVU)ǡ$11By=\3٥yR^3S=EfS @ox0sM7kQ'|`*vFL'[I%$q]Z$7 2?7AK/vRwFjNkU{ =/VĻSR?c ۇ}C}D{``*YZEίj-jfբǫA(lyk=o\0P  /]T܈q.G'oeHʺ,xX`cYI]oT*ZTgRrEa $CtЯ+XEEB wN-[SX@˛dbLcTKL+%u$^|e@Aݷ>[sY>5˿p{mk%)O' 0ڱgYZ7zXZִF! {`]ŗXi%6uT{Bd EH3bvD/c#5Fd^6&yns˛J|4~_Gڳ! YFʶ4rQRANi&d:juUwd:쐚]Fq 1r H9`,^ t}#©ֳA?4Wm'ͪ\熌8SQ`9V:T%\9!Ld\5cW?GayDCNvuyy=%|S`N~a)<ĤԚgB+іEzk%<>mqEγLI84"DB^I2 ? 3} =Mj~d3?'8A3<at,b[?>X@ퟂ(5>;\>+zPB;)S &F^vL?0= Lؙ 8L  !I Abortable_Linearizable_Modules e|KUO)'(JJjGIAI6gwsurs1OɚQgy~~ICYci>|U1>f˧D_ւ]S'c~^Ծ4}bSstX~w7>f>WqyW׿yшzaUobk{nA- np#5Ж3ДHQ"!O4H#mϩVwXZS}ܨ1UKq2 Ųww-Cc Nϙev8,s~Yn_Q|8AWCOS6-GNOKu* 3G 6f0P)e 5:%LLvw:{z:% GuOx^ er> CxG1[vaQtFioR wK:%oc! juTݮ=к]|F9f#V8IzO2 .`(uz 2-*E[[)$ӘR&F}/1߬:t@QJ/WyNkiGk\L?2`\7ߵg2B325_Ȗ?(ˌ0)$Rd Ü6%z@cl>+ kX3-ؿ#/ cr8`*7̈?t~2.21*uD.Dv4|C{&$]5Gs2)4܎⛤Yߵm g;RlL̽YkE/\zkNJ9R 䨂e3>~#ekRgٴR;[RRz>oPN>:Z"jV}CTž\\U9N(Qҳ ro#:}SöA RVd:8Y6C})s_̘Vt׷zfod[RǩFo^ !%M hxe$wؖ^>wvft$!1_1sDa-cܭamM-(,( W30@YYRR0rP+\DѺ ߂]F? ڀŭc^r/G-ٚv7xG 55 'npU|B1 8MG䪴,?όa=Ӝ)IX,}& WV\UT f}}Z-<:6+i,T*D*N4/ X8)]9;d+ݣڟXm '/4f-6(` ;q THrB Zr>D&+{>$S)<*-cEJ1;h^eYCVj9yJಊm}<:l!b ӷBC[Y>:j4vb0EuT 7#’>OmQ9BYebֈ'?8W Ak\c'9a cNW.Ml3O( KʄIsJ1h^tj Zex)͉06+>1l?>l!w؃6;F;{uoY(pC)s %JUxcqg>X(zyef$MlsGPw 0Mî^Zٔ_j^-$?-Y3$ (bd m"2 js$Y͢ip%e D؊h"|B$Q@vʱFHOhIÑ{pvVImHK>VQB8njZLVj"*;CT8u x;~<Ϡؿ; Hw36-B.\|m#gޝEIivJ`^soY!vzP LdY]YRO"#LҐՙWKeOJzIȐg9>9(hč*#%Yl¾4H+C;6P0{x{y\*2;ϯ|}'' y#/y5p˥Oq;ɺԳg4Ӆd0[ө|O4p6oMԥ3cUmTf1|%Rd/:M>uv:ȌEoD WquyO"QLMFԨ3EH){ sjt͆h<^ry Hq=ȁif79E]5fܭ&x'g ~A#>7s҈*56\2L+NP5u[Q2v*ܡ]Lϰ䂴y=ȸoN7*\.ǪWGcCdXO.X)D,>>@G$4컕Qa 7ӒIޜaŐxU`~1͉hE$ p#HvF&BY8*=  pѯJlVt'm>nA5?Nܾ38܅ bgXɮ#H@qu8RAo#W6`3#xzCC&L D# O&"gYZ10487dd2f4d8699df14c3680d64921ab8479dc30 45c4934f1cbbac164f231f0045e1dbb7811a10cb 4f907c7274c85be908794b6aabeade510546fea9 7da98085641a29624f635b6ad31482c7327df3e8 835e1aabfcad258fa9c4868c7dd6a211fa3623e0 8afe05eea8c05d3353fd9c312859e90cff55cd1a ad8a8afb5e787994c9e363e9c372b7113dfa9425 c9535fed70ccab764c54371a0f9a58d4bbf1b624 d3f54f950f9a08bca0c34f69dbdbf5aa2c89c37f dcb85683ceb493af307b50c9bc5ee30709f1b642 eb7bc95ea88041f2091a9aa1e017cf88e212111b fb7da4d16fa90e303b41eb16859e10ea5ef49271e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d