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 <<A) d< ] Binomial-Heaps:threads=8elapsed=11.721cpu=38.960gc=2.830factor=3.327zXZִF! L]ŗXf[&]\E _ːlHe&~Ugj JRoZsU!oO" @ƾ-$0iBڑ2'bz2Rz|i%(u:fOQy~ϦtO 8qEr8XR2(\vyʜ4[t Nnr)doDk#?DHì5giҦ,>p?k4WQ2<5C~ \=L㯳GZ|jdMĶ<)8@hq1u:}~TwҗU8;5MhPkY麝ME-Pml#WuӜo{2{{SW7 h㐄 V6X(@;aH% TdbK'Y4Qe͖"6u~~M7]'!͜cKq̘,Ȣp٣Xrdɗ:qyjߏnohK `RRt{wv[𬮡]ȅl:U RY>|'E< , eKS:^QemW t2 Iy*Hf"Nl&*-x]V)ng*SҏQ׵^ =l8*`2QUgYZ7zXZִF! z]ŗXiɟ:Jc02߳|ztDk{ҥ/QO\Uo}"TH4bKq Z͝nyXm3vT"+Do[CFj3ԺgYZ7zXZִF! N(]ŗXi%>t{4pȭWFK'v7^$q NЖ*.zo33!G$}Nita]NXqu$5R"[|!7M/Ms5AXJ-|,Wi~.~l+ C+`|8nSY/h%Nq/Ѻ\eg,,99D6S.ETRlԢScE%pmpjY*(>Ut&#DƁva կ`uU O72+X⨹J1O4G[b=^myJz 21SMɫ^}19Scˢf{v+Z_8:P*<5&}2C`Z%g*n\G5.SWN6yUfi50_tJICXhhlė{_KkCu3Q"VKACʽ.+?P/IzUOkO&T4?(q&ϾKYomo _$f =h)=Ǭ5-2^ S>Q"u*,£`GzaF'cEyᲳG&3{?r2#jrqn9iUA8kA9a.|q R/1Ug WfPǽ)Q ' Ds2\-I@=D X p#s#.\e]Q Rzv̅_ݕ+>>bA ҕ{vVbL`Lڟg,==k8gRBX& OIҌ^ri)݆ eJp>NE~zH$ޔ[Yy #+?=b:S-͓yp_HlviCckj~[.@j}c?$Ozr6+р/UyY Ż/#\4W0mHƝ!a6/0egBnԥmUvbfQx%Yegb动G^"̜l ( Y9av 1 \7(¼xÔ/5Nm{tHۡz9Vu.˽Yq XE5x(QPgS.k7&]xC:=+x/v?