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 &= ,$\ ]/ Sliding_Window_Algorithm:threads=4elapsed=18.072cpu=52.540gc=0.860factor=2.917zXZִF! P]ŗXf[&R/ 51ռ)~s0"T~> ~ߥ O ⵀms=,?VC:rOxMk,H˻=j3-wgd  /r㭎3'Z<]7!kb?14y4t]O[1ږ؅ӰqL{>fPP.qtVGI(ĸl/S!~)=dJV_26^yĠ(N-;oJͦ}z[/3T$na_B+jN`ZgYZ7zXZִF! P::name=Sliding_Window_Algorithm.SWAelapsed=2.482cpu=5.980gc=0.312uk.qiQՈ}YZ7zXZִF! {-]ŗXi%L SfLʋY{v^c;e6*lއ^%h2TbV{ikFsjw͇s-숤f.7+<@O#FLRY#^ LysW[XukuhHһQY=l'rŽ쐾EʽWyx"8|0LxNgnK7G\荗W~n|$"Vя*0ΨHHe ꚈiU^`(A_6t@{"Q":}on[I.y!,cFo[ژRz-G7oғvSXl`6̜,v1m9|xr~h k d_0t-HQK/[-VCTiDY,z]BbCyRhj?Q ͇4-V\Kl =9RM//YMmՎƵA^Vh.%$r HxpĈE{FcXF:Jܻ6h(|䱄dY.0*I^Pa/3`<ˍrNά9v/͡lʈi7HkƑ4k{gv2=GayD' UߊKdu aϣFO#x A[ 5TWI>U&Xc4Դ}VsP餁8VK=,ZA+F-0hаTd|V*]nW;%sEdP1kVtK7+sH9sW[p7ϑU}λA7}/cyrsJum@\oPuv6o4?ZeWK=̰+G9g -9^c˔Dh?_E^J*<蓮5Ӓ9ֆe[[F=lQ!F=}z}4$ ٙ~ι[dlgܮg[MǘPu:kUWZ&^=2؆ji{(Aɥpkz&N@~4]Qc Kg=cBLQc g\=z>` #AV68)cqd}5S袴v VNUsU H