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  ' 'N' ttd ]%]Sepref_Prereq:threads=2elapsed=57.745cpu=70.280gc=4.416factor=1.227zXZִF! 753]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6s xtt\-K=_3[BtFtEܾŷmL#gI-`奈Pr3 fj  ]4! =LHS\e.tK7ﭔ VL6- ˷!O냗Y- BjW5Tiu8jPByݾ\xDT]ٰuEU)Bܼ5Ħs-yyԃجs&qAd<'5LlyBX;V%ƀ.WЃUٰҾ .Ry5Q)ȂLBم "M12 ƩM#Vb)H0XWƇRwJ]'΅O}]=~ klש,$29J(qˤ$^\>إP:ǞJԢdI̙(˗v{?p g0ʩ{RV:[U#>y~% ˯Sm'Xޱʗ.+=C!٫ì? 0{P:'Q'Un5 &t98ehQ.fT;C8Oq,5H't8pV oxJF'aw>J=U̞%>3{N,Tg(c"^ŭܻk{+M&du{C iDhT=ZP?4?O"ve}Y] X?\9gǩ=XF *K| EA[.,HP2 0mp$ASاTDc83-.}%Æ99L4G!=u\5I&n'-r)l:Aeu.erC^JS)N>T7 ኁ@:n nq gYZ ' Sepref_Prereq7zXZִF! t]ŗXiɟ1˦r~KunύNN{T: Θd# c)c8֒r{"pΝgYZ7zXZִF!  ]ŗXi%;Ŭ:4rdfx$IEr7wO0f=_sыrbla/juY/x(TnM<Opl #ꚛ=fT%5 U+0RC86 zô > :  }ɜ:,^]:,ddhyioiuKxJpauHDkTAAi%zVE]n\+dn{ G]>B( 7k|$8V2Vʢm"9c FxV̈́3/EBE1oZ׻?0srKi^K 飂^uG.FK.~L1(%D@ j^pj{OnN.}K@6hI6fTpa6n1%s1ZH|f +̩^tZFHyOܠ%@A5 N%b4oLrU83" }$'Yytn)<K`'?\U@ᰶ#W(CƧt ]6r[,%<`V4PLG UV__qGc g@HdPiz)5u>ėD @ZޕA|"ԇ[ :L_ un(.TX\v(aƍ*\q@~rE;ڭQb μ8su@iW1+:*ٻ/(+"JDG+2@Os9oN \—M= ;N3w)^Wx%.V:0c7N-iM[lk!;lNKiF&ۧIr=sMݑcu EGn`wňkqS:HH1Cd3os:#{_\ȏu{k-zkܼe9DM-yqw7GX={\@+|:iQD௠P<3]?02sh.u|/Gŀ4QUyZOG嗫k4q b*tEǍH{+bkgA6.ib==QRul6w R|E0(dlbRJZySU_Ƣ޽P88 gpwuBPX2oqE5ţSBKM)x+p&n;TH.TIYMV3*=5QY(o ,IKApjj`R~ُtP/%pPXuV&ĩmܟd?G:>bxqhfo^^{SRԹtj~d}_,Tm2(&,W'ŠOBGΖ!{:JaO$XǗSo6 X!5 Tf.|¿?z@.@fp AdpwſėqFUXYʔB6TMz͉PCVX@8.BAROPi lʷag (j]F~b\6~A"Oy+*{="Z:&eމСe]UaeʃC?kUa4kƿ8,fTKRH#0p xd?Ŷ,FH4u|&yfS3/xL(6ra/SۧRz ^gHU̥p`ےܕFgBHAEml) ]]lK8K3Mb󭵋I;-*Y@ȑq.hpgYZd351c9c00cb8711f6b5eacedaaf6899602170bf179d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 04446ecde9b8c648f0e184b13be6eaa21b45ff29 6c6f14e3b60316a0c2e12d6d583be201641e231b a7c7a399d55d87b84322992e7ec741372828af69b60eb5d84b3e5487d8de93ac808b4c2c6f25f80a