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 j)\t %S Multirelations:threads=2elapsed=91.142cpu=102.108gc=4.164factor=1.127zXZִF! 4]ŗXf1-/6vR[lRc2qJ)=?$~)LX8z5i%HـC&͊P0m>Yv:݊bf(|WgҽaV'Ftf' q}2QCxa%;y ?J2f6u=J5l~*A+zȊ rSx8S NӀ!į74HVs e/0d}le _\F9#fjYSR6Ȓ:^#a>~}9cx6i(Ucߊ =x43u޷^'0UOݗӔC^2J4c0"6Tڶ.&fY>v+[H@Y P~j~=DŽE Loj]XOS䊓2G'FEG}9Hm}D;a0e-g]q-`y{}ʛ4oKck(,h۳K<,F?UftFSjl g1٦"jjAk^|oѦfp&cH_}_Dp29<5ACq \`2moLÕYy'³,TdDnݥ3q)۹9IpĽ֬Azah*c=(&SnzUK2 mh[[I{6VR,wwg:ntO1;2 v{uhJ Y$(+3-3CBpgLtaOR,iQ)XcCp`PK87GЕ*3Jjúcw,*"^#$"YUZfV(n6v'xdp ZW\P .[pCZsѪ08#VaN*4]4=(UDŽ+.N-Py8C??c?>jUm#JK㞚BT_%)r&ӃׅWh;Bpp=٨kezlw!2̅~c i"gYZ7zXZִF! ᯠs]ŗXi%}>nRMUp!smufphf_> r|"›w/[;C:v[:yB Xƻ|<+>]nBǬm\DQ.-+&Du24i Q0nw^4j-EH7P6|K\r: .jɺf䗾 k5 KS U$UuN:6 9FDQ1"sz{h).:o-;NIэ]&ߙW$0U{;{QudtE@++/UFÐxQ"}~"nX,E*!X0Xz85>Hh3V+޴SP,KA,GUUsJCV9͸g z׵OHbnatf%́/[2y{[97,$j#fSЭ"R~0tJh[.2gB*3 ]J㭉a*16A-Gփ]y*3w}Z͏RRAc=߈3so[7/JeS܂W F NwAb?UUg ʽoX54MPd$Ndzyv( zHұ7FpPdrVb~E~GWYo[I3Ki׃Re}4AJ>p8>&,Y^x@6Zjz#Y ) Multirelations~@\́G ΉSʹGNbۦ~#KƳ5l8'L&\%DE(3Xe%dDYKaalrx$@=&| nL(dP \]w|j_DNY<~I9?$X =]*1/n)Hr'"3!u抗ȝp\=fKS\Ls=83LKcB¦Ô&0 MGʨ[B/2jJr {ė_0x(eKz,dkσb{D ec/oLDɷ:E'0{`=Wh+i7nNFtRJS= _TSCthgB2#,svq]Wh/e_U5˹&$gt*)ڣnZc6wE>چpg=!RbӻU<ŀKᵧguBDqӤP?R@Ƽpfz9{PFfxi0l1{7Hx-jqrs7HrXgM,* +Oe{") E+k^ h<8iߒӘ8Xܐlɳ''`Hz!ZߔU9O2wbQS Nz[=6)E)zkޞ*mD/ȃs̃=mi*;O?,'Yȏa~5[jx.VfWP13E!4( ]V Αib$2CODC4-rL'){Բ`>KyWBv&‹ $P|_|lv.8[9xNƲ"29Zt@ʊBN+{;!\&1-Tbșࠧ/%f;jrN@? +sTwz'M{Ll[)tdP~qURq;(a~is=*T.Q'F\l#^BN^ |dM d"d<<0 z Rx"4bWL|(9V Ez\Vph W1s$Œ2S4{<1HŖAO?,y!ێHlxφjQNqPd{t(}VdTrU vEM8*)4S3GKuOof~D6CH΀7P%Xc.bM(;U`G`'8xtlGL|.\8)~v3?)\ o/=Pk[]o[Iy*C0au6,gN-mow1͡ e682ϰ43&O R` vo֣Z){-I:$;r ok Yz5}@\tmA-nTUA?E#Nm)c#[ 1uge&<~QVt!B+N ~}SB 3  s+>jQѲP%vx [c0E-rxׇ1efH.krƇ+uD&Mhnv%@pdJq6(قK{{plۦ#8CʐH|8Ede?JK2 QCh3ƒ #V"L02;Xxtڞ!bD[L]G<d=$){d:cEw؟ptȏϐ;4 $C):`2O*qc]Ow3t8>*N?o;:w+2×% Sq8IZ Iݑn>[ҥ4Q+z`655 ,W {rn]3$Hez*[f^._4<lP')kD_i/d20sE-&% qW K=O%R͏a6U]LF9)qҘQb3~HT,Jzw#D|+{HvwGDg0]Y>B2X^M*c' MOucGJF[N҄!m]֬)Oa#V@AXTG-T8AϜһWĒ'3ڄ'(ipƩN>l@)P;I IIE`j1 f ;!>Q.á-^y~Q{L Z' :uBDTtRMhݸ 6- W<< ^t!}GH#@a!8{摩 oueNmR93L91"b$6B8˪[Ʋe4[1܊~gFئvZh9g|5Vap\n=nA\X(CR'Psѵg( 1Kt//>o#c+ 5ii Ņ'|?6QIH`uH2kijnAj#BZB&Eec"y#CTȂ[rk~ L#$cDp{x`COHss^0yD*w}yn']xpů1UM>=~jNF `ܒ.o|/rG{ʁ隬jUA8N٪%p?4?u?&Ni_wDi$n9!j5ocPSy||39W0IB3*r~5>$gf@D0][ʹ"ɱDJX U&5A&n]S.V5i|yB3 #d3ү\t. Ou, n 7j@wFs Ru] ByizPToy+ v}%qLbf '`"ۈ5x|5L.Ƈܼ28GtO%NK\4Pj!uÊR *Ɣn4Lqa2Ru<1q^uÓ^3ٗgyVƌ?%_rTy^A?KX$¥qUQYt!O)cdG[l}0`0&d2GIqt#gYZ5e20e4fc330cb85a57f929f7cb117d5a4839eed5 6ca8998bae48a3081c3c9a0eb60ec1a07c4124c3 9d1a345466a108d4a08c3c31e9d6a6384464cadb d2ef0567b21d3450b941643a1f5a38de6abd51aa e3d2174eb362b4e6148e4579ffdad6911d33f3970ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 37d607c366b55abd1c91a06b0deaa7a687c92082 5cbaa3bd75cba9b0ebf6015b046778e2683ea52a