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  ) $Dt ]]Kleene_Algebra:threads=2elapsed=55.829cpu=93.964gc=4.424factor=1.687zXZִF! > ]ŗXf1-/6vRZcm#kƣOw|ё ̮/`RǢZ`23aa<@TeL}IRG} %nN?pwP0q'6FK/&8E#OPHGj'?RZvu{+'.ުRakPB?Ls@@P(Mo`˶?a+{֐ώ8SF\ *{-&,5PDxo8ؠkdݶwX6Ȣ/D|/e?%ڒMwDF =RWmZkx=RǑ8A)^/VI ,R-e(Փ7A:DRtm?*N0n>eŦ*,k`@@p~a`1'Xg 7漭TT%g i~ɨa!^TgL Wu_Sdu`|8o\t J܁;`M1`B o88LJV M4/ΒLR1q;w&p@BS\m%XO6p9Nׇokh|7;: 7ׅ~T"u L(T5EhKKfwdݥWTY,ԔdN%/Gehq ǽS)/ݗӮlMs#biuØj|^w_%T{%*#Pcsl|hpwOq ]75qۅG =an]<@e^Ce0|*GJ!%kGP:;96>9eg(#$g7ճs$.XU=%w^\Z{HfbSx!v/ls9 #'l78`˴3"%6U"!'@> lХƔhfr%ge bF1Y+-;3Κ:yvf{: Z5,:#hkvOBK'ް)`ќ5Ģєd}BֶB3l4ad]st_%JQNa +71/dYی*5ЄP s@Y-y{&ƍViߕݦRA.2]zyފ<0,e n@9uV|liR4ȦG^ 7@Uz}w^̤L]zos@7)KKMR[&Wיmp!" ) Kleene_Algebra!Th%[|CF9?-,̉JfNEvg+KrjZ"":MXP2u?v!:8&bXKF7u&N(U7<}#r?>}.r,Mc }ǤbgYZ7zXZִF! Z]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]w1UKN3k ƿ-vQM4qݸ_8Rs\}aD 7^KIvSSaPŮV_{DWޥ4U&Ewӈl#urHRG|A9DzU1w|r;Tpj4QԓK ƛ׵ 4sy߃g_Z ǥ๗mr9 RyHxGNWKErSO x{[˞L՝AaZh=v!_ e dJ EgYZ7zXZִF!  ]ŗXi%ή* p6p:Jݖ+,wC<#wNTʁs4)~̪t)~`Fa{b$]ט&&ҁׅv"HExX_BTJ)v{5[^EeUIvjyx’@D{ j2Fʼn#{%P%0FZZ>D?/v#9܆։el9bvw- 5BDhhM̈#C6 z6t?Z?<ʷvVS߯8PEZ|AF Z0zY͑9L#j?_aQbx>!80k'Ge(;n+_v/l t~AbXqԡݬt<<&"81_lS]E=rH GRoy[g1T29'l/Cè\O+!͹۬Ɓ.AOG?@IY6}_PCɮ'G`ͮ< Kd].DJOg“G:gȚα 1r{QѮaPN&3boB>aL%,6D JOrv!t5a]61‡rژĆSmSoDvzi{ga!wVl)Ѯnƻ x \9DW1sw)w^4 OLx K|=U&4|0(4FH^<{ );.>H4-d-̨@5KiALjqhx ! ,n{5z6a0j-(kw.R%%; C#o4 3~:wT_9اqy=P@IP_&6})L9b9vY_{-UL,HݘF⡇=uF6 AK]$iKi<Ûx-9ikg3uPOWhr]=U jߺ5f~د|+rP@f?4@. ]ik&{4nPS_~t|T&ero`5 $:d!Zhn]@ľ(j\+FbI*#Û|Km@dK` EVms|iX'}{Sa+1KBf E8ont鈨,Zy^|iXih3+ WcNk%MEPvuFr!o鼴IAe)"g6ދ )/g:&'k*1X}`3 ȸd#shB{v"9QVsK k/{| d<v1 6Xu6 ]Μ֖{M 5vr̭R&[*V&}y}>4'iJLQv{Do.[CPZ {P_Aj鲤qXpzU2u7 `>:3r_ ؗIi 9شD VdaD+= :I>;?"S|0q)7ŸzOc.LWрv#3!P"[RgȬqjWk6=p߰$FFy}lǹp{X歠mHgYZeb80a0137ddccc745616fd5ea4c65a1855a4046100b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1d794962c486b8be2167e1483c98de73c64d1df2d6f61e0229c78f3946db5cc4cc6f7e62cb6a1a13