SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 B+ 4$L ] HOL-Analysis-ex:threads=2elapsed=39.910cpu=48.888gc=0.504factor=1.227zXZִF! R]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bz*x > ~b}2szuG 4 uKNq8^paG6̍,*R|%ֆ}k8@l9%mGXqCUԅ jڻHdp͖rcPUCӯꁬnIDWvf.ឋm|^-F%/ru%LAx*s%vN~xξ̏Okm溟83ΏG)z_|LVgYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.684cpu=1.368gc=0.0000뾝kS T}YZ7zXZִF! 3]ŗXi%>ggV&f H e+[0wKλ+ެv!cZ7=@Ѳ"ɟmav>SicĿĜrGCu[JΒ&+:[+K|+qW2Fm+憖kmOHz 8^4㠯{o$Pgg}7T}Ԁ\k]x0tNh+4?l;A4yցj2SQܮ7YWQB[ۓw,+ޣ8" [J Hgď)4Akiz2ԻI`‚7 꿂1p&AM>ye{XE_NwtY>nޥ2 ax9q>?Js-Ē)TH}klgv ,VoofoxTBIS븻\=ѝ8pB0P_G攏|=6뤝<(3_$JPrDDc!>r.9dY04/1»ze2:v"JY[7cZDcP`׀ 'p7 ۷>fսjѭ1)vGRh~{+:ڵ(ǥ,?X9s.&yqrBz5T*cIL֑(xaNi~5m~,Mg?LFȻxtlJE1)=xOH:TF<*>j52F}jEH fC)jyliMA:w&°旣ct8N ⲩW|]mmNT^ WO ޕOm`ȃq}R*S@%M 9!ƨnB FNb\gtj3 F?q W!Kf7^O|s|߂C_=7LHJEQ|oRgYxW-yI]&Ml2}N8:ґԿLL:qy纵*7b6l&H&OVfdrE `&q~ٵ|ٔ,^u1F[*JfsZ0ZkIkH0x0%ƈ4ln!fYP4%@Bt/4q|ZCx:Wmեl;1&AGdpnnZapoqP. v;O2e=f7)ӳ˨} ˒ݰX6GbͩWQ)9]zǞ] /1B8 Yl3#-+n1!3C(`3{3iUڹ(L!mJpo %Cڞ\#ң0LQBgr#;