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  Q Q$= ,< ]S Probabilistic_System_Zoo:threads=2elapsed=51.217cpu=84.136gc=4.340factor=1.647zXZִF! &]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")bhGWVIcΖU tZab5 .0Ji:- 8v *G" }[e7`$y~=y,Ă.(.ӼTc_l"SxcX+\ Aɿbj7| gq^kse2%UIijyK;FoHJHsb1-WQ_ 43q'v uMPFe`?*lG2r&05K$)c?c5mlYپB΀5G$uǖsGDzK?; V .Wْz;V$UWx쵦cݶΞ-f Sq4'[9'B0;y=6/\ٯrd0JM' &-W; {b@{H}FdPz&,O 6 ;Zw D6â չ1mgT54]s8* zhWȉ =d?Z\;[Y&k Z5ϒ9z`B-$@.e]~32mX4«8HL͑Q/oORr ~,nwLKL:X]e@>;ɸۛ]G}%&nzVCHIDG}/hX: jR|3d%s-P_nzZfLJ8{Wf>|: e'qX-fzנHlWw= `\5U+&ҠnJLU7Vw<~ԬN }ҤycR2TӢr-;if%+kFB8X9̏dcmN4dI78W}evrևP01e%Dg9-z^%԰7*G qIQNB: |/;\.prL5"">sqU2|TJu؆jfpoJ΋1bxƕ`cբX,4꜌HÞe sWL)<{1Rd.Jn6#+yQڼ%ba pTzϕ $V*Mw鵍V:U}qƊw"g==\*ߧֳQ&/&/r`#S+zfӻwף:ă9 3#-x>Pp_/Q*Ait'2"Q\ vhG3y I?ؕ9ǼXwX3,l=LEtXA1kXJҗ-p[+b i pLtF}mJ"7t??X빱?@ q{BMV^H^M5'(/Y0ӆK>{Mi58Xu NXbԬ4ܼ'5f}UZ?Cgh ^O3Ǖ< ^ֽ^q Of[Avdot MG`{8>[9D2]BE"qȂZLvZ:(7tZD(tRclA2gel~Nm7ʃW.Ma 9IO+?ߖO+)+Mu( ̵Ьny>xĶb5n |С}r EEfT'Gl TnvZJ{ |x8:8jQt)iG᳻Q!-* CѺ^M,vˡAk=Tr`^Y cP);Hه=x.O2CioEcx=] ~z3