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  'dT ]w UpDown_Scheme:threads=2elapsed=76.364cpu=142.672gc=4.300factor=1.877zXZִF! J]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?/) LҪÍc,D_ Iϰƒq8 QMMnE"{=;2jzɖM@JeWn?b/ nDe@ b念z7#':v*F)۷~-ăҙKb@ON8Eͪna,q\㍥\ k0sjTFs0\IYKwC[/NFzf?.Q g_w>|m`}fS3ssKeq⺿05h#=[c5HP/$Β>dQFKw-&4]ȥuN:3_jRQpn:ѳeѣyhj=A/ٹS#lҏ=2msADٛkS]<IK_ Ôw[8,EށP6߄1~Ih"-A w4l\~_7#z7۴oԱ晎jCEqRbmutu+1`/$ViUeXaM1oqMJS]8Ë$!j Gʐ&]U zWJ: ʄG#Smlm3 &Nq$YIgdBxAkӴkZP',1^Ʃ'UkPA6mg9msnے4(VL9"2Bd 2S[P 3~MGG:2S+o9F)I\.4M@!I_0)x \fgrbyx&Ld a/B.bWw){{Hӣfϓt_z Ő z&Ϊ%VAz^Cn9i`-:"x!xpnȅs}.Y?f~rJ+7Ē[1;^Jwz{/|@t.npo~QmfY]1Hb[:Rqa>D3/{[kkWhK皿vN~EMNAV^RcD$R(3f _El}pGtž&D:>+%,L0PZz/7\F aXfcQJ)fem߹֍ WTV;;HWD.ͪ1Kn dc8>J(_0eSٷ ))FxŸ>" Ynz EUY:{@V,aב tţHȞ a e=J6rsSuMlϱgYZ7zXZִF! n;"]ŗXi%6o(ޤÝ[O8?3i6uNj'NDu u*p6!Ξ^)8G>7k* s ٸRk.Pd#crd  r~ ;XUqJ/JGqh~ TE t K-ω  |/o hJ+o`U8.*`8I w0Tj$Zmjp-.*5۴ڵde~Q%棞] rn-< Hz7XEJV훤%m0Ěh$vgۍQMP:#?3! OHsQ ' UpDown_Scheme aÈJDJ*Hs"71DDܞ i#|=FWn, |/h., a9_m ׏6 Ba=LGg1ẙxr!FY}ebvd:l7i] ހ) d2SI-L82ҼdbZ_^+8~.o@eLvHgh>~ńPk! 5F ]D&Zۼ5?eP%NXu)⪒:ÿ@MBHB(!XHf$az4%Y!\Td42wR֥vgD4&C$ұ!:F_D?-AVd\M2sKC%$XK̯ܽ>I+1W8ڿ9'0mԨ*8"#OEO0)ӗu%Bh%Pʓˌk6v<-(.6bУW5#~8ٍO9[r3 Gg Ҙm ]RfҮ=I5"5k"ACHj0pI7 |[6G)X\/[WxxfLi?^P|"e"&ESS6WjdbScF/LNu64~ጙŔy1! ޼62Ah ڨƵ=EygCDQdgoC`jRz$57Ok+=+_m׿~}=+(%`徔J @me?ׯ=;X|,9<:b}ĀLj&sd#%}Y*ν8MՈtaq7hpKH_P]4m!yRGvn%C}Z/~@Sqs$+[7$ 0Jb`dn΍ i:&hR @s+UUw[6{T|+@pƼq׈F|%ohw T2LloyU+/z s}M+e3keڡh''c/f`!xq:Aڀ`&t: V,`֘/Z$ .NFh>? (2'7+sƕH29 $Ԩ;Ʒ\rgulmAi_ 0zd(r,!iR߂'gJhj+#ۍCFue-_>ygftGØt53n7ٱMj! b}#?wU8D^uC}5Q6HBtWOM邓vL3Mj)O 6|zr$s-8OGXRvAlxL'6EK)ۇI@h@tcxՅ& }àAz>w UaFOcØ (yQy:zri^ Î* A 4ZG@oRHk}0$6R^YCi^pSގ 95ˆqDTÉ%]R(ݲM' ,f:_̠'of,E!&k"iMZ6k {Nb.T` ɜ9/`/̎'Ab#lr8/@xSMM ?m7NZ ,~n`TCk)͖оAͫ OV u;1Ѫ-=_SӃG6%Y0b N ˒-r8L}/m:f@nو<-}=#^Op\|n؟Δ`E@ןl~5weҜm:5}( ު#yҠҗecJwE/5/|?* nCpN\uD$bٻ;ª-)L`-Sˈz}I ) Xr9$D>238?SiMRK_%V+6f8yhqH;']49\i0! GEgWJhP/Bu)(k4Bͽ~W|@ظ(sd* F6{,BRslk ܲGsINc?pwITJžb8|{vюU/ZGyOɓWa}U/f=#&/W^uX5,kq, k ?£ߡM|.`j%LVTh-W`Q]1K<$0Ebr~/d&^ y]F;ju38uD.:lZ* ~ܸN"}1W!VL̽wmaj"g(9H6znP:o{rbRBѥ&*ot%2@}QdP <a<0/DN*U 0:t*('lRlAԍޚuwBa @gYZ1dff3aa4a18f90ccc955496d6230445437a4e02fe003033e0a1df248159cfae37f3521344e99dff4 e58c0b53d135d2468d83139943d3835239d94d2e 59bedaa090758dadb6cf61e44de79f384afda49e a74f7609bfd67dbd153c851e2bb135000e159cbf 747e333270518ce60c15dc34844eeecc95a83f48 c4a2d1cda80a58662c70d751475f967b0cbe5c74