SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 F= ,$ ]/ Sliding_Window_Algorithm:threads=4elapsed=18.600cpu=54.604gc=0.928factor=2.947zXZִF! O]ŗXf[&R/ 51ռ)~;`ժS1W 5}`XxV3Ko|pN πt"*D#!^ ibt{pSsGr!S6x3?"aXWJl4\a>h P`$/?_&85Q%v7Z(/`x8l/"?}f>y6:dH|2sFS/n=T !w0@ِz$j> kk3sXwZ;~'mu3+31 hm:.HUxZ:j{wjG-㗒VR*lқ?UeQqӤ[`ʩTFrƅtiu٧ OlpvGD`L\/Q4gYZ7zXZִF! P::name=Sliding_Window_Algorithm.SWAelapsed=3.245cpu=7.388gc=0.364\iQՈ}YZ7zXZִF! }]ŗXi%L 0 TlD"pW M ^eqљT¹Ӆc-O*NΊPοv}g*JsUwԓXNJg K)|Ҧs0Áh9؎8d5H<ʨ$hT (@Ͱv2J8Wvo KHB&Tk=5BoZ;!t"[7"G¢zĹ PVdQm p~0a:d{o:Z͇4{yIj@Kː<-|y[kl8eS(Pr|>5 cM$#wTWf6WاVv J|4W>'Rm 0x*k|þ Z8HNOMҼyXt heOy)͒BI@0qR5Q԰la"Cl0T.l?{)l|a*y{Zq]`$ [etm8 YWT>,LDC(mj-h4<:5@|c^'(27@͖~  EvНZS ⴧ`^q%(u^֋_| F#c< .< Bc [b<Ƽ-fzvFm`/g_&rY GX KU[BA+c@* NB eE׻!vRi}'AyL)NG F԰ačg[y(,3A>SuH, N;Ɉ/"[lO(Ol; LвtlrsV@q'o}SwT'pU_edvhvQ' j΅̍/~#v3 ij%d-[T'I"6F~?3 d}>VLhQJPy="4:ěXvAD ۇp]\ۥiy.k IPMaBb&T<iSgu0=Ucԗc܋1ؼw^]2MObbZIv#7L  MH`TIEϱF4DțgYZ964b269eea2d05836395ca374f2b71afa2a77a50d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 = Sliding_Window_Algorithm