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 33d ]]LLL_Basis_Reduction:threads=2elapsed=98.133cpu=166.840gc=8.020factor=1.707zXZִF! []ŗXf1-/6vRZ]=vYYN& uQ8Q$޼b8<ݔ)v^>Zahix&ƋiUc<sAy0J5VݕwH3X%Rqp0[ڶ!9_uؕTǔǒ)#$t*&3[bpd*K"ṑ.PI}̚,m,>_.Z j?UAi%B qR=SFRq0PK[bHJ@7{ꕔ ӝAJmue~S$V&YDv^!{!vH Ɗ 3 LLL_Basis_ReductionQ|(+*6W1- 4TYBf@۹${<h_ZkH) Fj1S/*r]e9 tl?#,`;!}vJ>]8rᙬnHbX.PSɟy* n9x@c~L4̷=m`OӜvX33[.WW b%)wC]/qSu,o'[4)"oA(:5͙-' ۟ F˛I(\Vs"c]CW#d*/<~r_Liju`sf0zQT$,`=)|Ħ' 5 Н%4PSDϷR]}7*ذy dfa~5 Wl:i"~h'w6-ZOFȠ}_QE'^n V>.qL"ׁF45B]K`UJdpleoR .;`ܥgYo4UE(v2Q:9|8P@AgFO? ۹T^Da(+tsߊv鲂z?{8a+ ݝk۪j?ζSx5GB$ܓl>"5&19S6Z4rUygLjCT|=7B NWhm}u v | "h] y&r5"9iП9*0_5  P[Չ84ߞ E1R`1=Vdr`$)?SA8ϲ;u*#ykXlUdUhȪ8c_6-i,&#lD Ĺha$ b1#:!w4h"ur ĩ<(~#mP+ֳ=obFu.B:2 '1u8?QubO$$fC)ac}}K9k?]V%K@ -3hI1/@-وek DL/F&xl<ѿnOŢ'e7Lqi8-)O2^ah CHaJx EV9L-J TѤ&x-G. 6fApgaUzz1,R&xPJj'E.0&3XF5m2wū7-S3U~+KY9 5z̷ +4/k[0;gqfjq5Z&Dd,!ڰ ܃<=g|si@o~P"`^w^K45lB/a ?bɊ NJI?^i͈y?#%:7  ez>3@Έ Z4pĻb]Sx}# zT0epK|V্;6PӣejhGF=*Y6WJ??% 5'M)%͑b!yQ."HFtܡZPҠbE -_ .sٍ. h]S28 _ <_%SXT7j.s O?U [)x?rܳ옔zTcz~2gT\vq :lvޛ&<߂]@[C '-ytR3gWуă'ϒqBF ;n{6΢q["py~%O@K[P6-$хR cd"~?3m)tys M񶙺M0#YoSް |Pi-Sy!h:wV2TJ 0#?gI&d`ˢNȑM!Y"l_*Ks{!;i H#͘F 쯇ju3yNhRmdTØa9iO_s)6aש'R:t1gRJWA&k(X;f4m[-^jc]sH69wQl{ј:8]q@婐3sx|!2#Jw0KzXrg(u^[Ef&s)crO#Tj@Fh=#]ȬilWIk}ʂVI괈xIe.s[;R7F׹Oq燷b{EȐJ|=uJ?nB׬$&V;0deI,PI."M)C](] ֵߔ6FݿaӦpp=یO.Z;hFq:W+Diz  c@=pȖBmQByb75gO2H@hkI*^PDB`o[HrlTEx2ѿn> gidʡ"*oAetQi9$Ӊĉ+Sa[kJTf?<'H Z8myp9(䤶uFMءv,1W1L<+B{UOƭjwX8ףˢE-WdmwDRR!lq)9AȿU23i[sdnQ's*q%*rTZdh|/iLH#w, u Htϸɥ-Qm~hy17u&h0-3MX %Io_q!읍yK&}yBPCY33(~_-i/TD" ^.JR1qV [ˆ&|z:{3X,ٸ,9fx,癅܅}`TS`uL1F!]ndЬ;y>avF:Ο BVʆ.Jh"v&}ځ9dX?dƎcjnD4GĜmuMYlG6 B'Ȉs*}3m.)r¢#mF5Y3u{ ֙ B%|ؕaԹ=& ~V@PU<;m,A0kʷn<~yc,r(A/@LKV z0e7.!23?7r&ň,F7|L@y1 [9Y { LFIL}0Z2Ј6KiWEo@CSH~&bS2U2=-hw,8$o 'G?rVƒygk" ǯ3yeƧc爽=#q pg<QQck2[.s0]o㐒VQӭ"o%J#epei+L6ވ9d Gknt ٦_JBA2cխ?)Ra|w59H1rAε#JjwY5W O5'kXtHrj+!Mxr!}s5E]rdv&[bXVŇ]ҒCO[Q( ;c"ʠ79^$\3V˿]Pm28y> UȰ:1Ђ2h 2Ym2PxFQ#d[SݴVJu][|PųFu.=h0]f&o]ә 9sx^46kj?