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 &&O?\ ]% Elliptic_Curves_Group_Law:threads=2elapsed=69.407cpu=127.108gc=5.308factor=1.837zXZִF! b}]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  cֶg'%} C6̖J_T5qj0c05FL7N[Avb[ E902"E_0. 6) v毶 .U,ҊWҌ0gHe,UpD,I N:1i0 WhVŏ &c4tf2t{;摢>]r)gξ?/* 1 3qپqE@.AN!a;[xcD祬и`juve1/La,2R{it^c ĺz^57Sj\,JB聁V׿~ ƚ }?P%)en )iiR12^vs+iL9l;DR?ʿI5pW#FDuPy;UTS ac*n @Q8R e3Fp0sRCV~'pO::dpRM.$9F c;f"]`1H5`Їc1)ՍQn=*Ƈ'6G'K_}$:YI)R`W|@G,v>⚃B9@Wzҡ*"p J=(%dpb\pih.@0c{O'*\@h f6N [wG^t0k _vl0RY;AyN\+R!_…E_Dąc-+6n'.̧;ڙ(&4!5zU4>nh@[!z`(/$a o.H}aʆ0+ND.t<@}N)϶ ֿ`W%F,l:@cikI\TcHnɂd sBtR;LRP%56KG&^90ߓHkEaKMjwnZCJby,+:2[ _WiQDBܚL*al Fwww IAoGwxqL;.c<0bx eך>yJ :٣)CV-Rѥ%Ca'Qk-͑}2}}GIvZw=7 6qCRTf_ n4,@"% \@GأST #IZesBCm9a \3⸤s,z 's܅Ҷ:*uXoFR<(0iHKn)?1"E^[هKy,"x)CR~ :ݳ˅5悋m^nN&mS⭆]o3`.> dS_o84]ފHf[k?q|?{/zg~$9 b6f$J/Zbj5qB |wpϢW&@T0[vcH3q)''`vFtw*Y:LNwX_93'0b.L|y@. ]Ŋ@]ZhI@|Qo[5)y #D8`6ȑ^yUÿ .;%To|,oJǵ*ibͫ;?\wNkֲ[=K `=N>,(+ܬ^QA "azJnn\["vڇZNཝ %%1swLQTF;KA{rd݇+X<M6Z2wP*NsHO%Ob%f< Wav]]GlGDʈM 19\:)qri^613N(ɄGXЋYӝ;Dvt}O(')M513Qa3 Yb=LNRSSfir "GL;$ |&=YGȲ6-kxAiw6DO1CssTy]x\K'KjǦXdK(r^9e=,^KACt)}:>'c-2 g- . 4}앏 s(p]>jTo`gW SQm/ c QZmZXhU~Sưu@^+~`cǟBhx:VƠē5mz[#Օ'I:0 1EJsb;^=V&ݽTtm s5jgqwsRQGp=J%.VK:R-Zw'm֌Յk[ٚEf웧akXOX򓠁{b|wO`ٞV2USAK7xOA9ӃKLyS|M3MBEse~/#Z'ݧhOİB'J%Rl>!?#/9(Z&@W! yr-Z4i[ 9csgEFDK42 >vo8i6)/HsbVW*@BtʵxFnmzI-`;Gr}*hj]L1˧BA]sj9NId{j2k}E0"ff^ܽkmH>㵼dvy%ս4ė,<BM~*vĆw .EfӾk0/A/ϩ= e#;/`#_`fڂ0 ^w|getUt~桧&ClK\HET@xCkWSɐ ӐaP|c߹;OA]jW=x20YaHMg3x/ O~R3:ёg6kwX^<[ Y|<()!36ou0Y`D׮A4,Lzi=0 's]9pTO@lE6B3|psW@bH*2?V` }tAEιω_]沤EH 0#3Ͼ ~ʀS5!cv ƒC+\R mN1ʧcOuLT(PA 37bY)~ 踩PvįSI<+i x0a /I >QA A6U粒Yd3…`-⼡nؒ3&};gF!Zl|\p%ȡOJSF$SO*byo2&{jYwd\GwBmj=[Nj EvBHs؉r sgr*&33#Pf>5m.$G^?n,*'O䎗46*|/}x_2ߛ:nJrR{dߥoɅM ys~}la=,űgu!ځ`Efg'Ql'3f!L{h ,#gh\xC vgYZa9f02342e51e2d948efae1ba30234dd5b127f76cd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac03 eb48c6e2a0cf9d249b88b408d5272abb43e63102 724255d2f9364c0321f3a0a2d6694e47ec0325fd