SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 <| S Regex_Equivalence_Examples:threads=2elapsed=14.053cpu=27.648gc=1.912factor=1.977zXZִF! F]ŗXf1-%˓:[L #cI"O aU{FNpGf%FA $x4]ݾ A Regex_Equivalence_Examples =7/2 cɥv/xN WG|SZ~5ӤkL3{jwQѹrW(,eNtfA aC2eսEdn-"8D)^n$ kD}d+,ag `+eY:*V&UiJn#qC@?/ ݫWQt6NPAZbX,W};@ԩ!X–RreM'=@xGA}iF`׃{w^d{!)HZ(C( ])'-33d 6*m0-a6?gYZ7zXZִF! A]ŗXi%:TWK"I1wlf],rRQ= ̇q‹kT$ä|h{g﫥Ҽ)8pC#ۗc(tٞ^K/9~GV (nUO YAϧPA~e!55dV ys"qS6zxӻ4'&C %Z]0e*eyh.'6Մ^13~}ӻjtX0Y)yG =Z1%To*f{$c7RZc* 7g ,= g6qK: - g~-9ƚ>a",\b7Xi:gYiI|e&) űaڰZs5'a Wש9yzKhW_`CۘzDKڡG}ϐ,˻'&8?1#D IS:w{u!Yab\ @~bۑ\j^v ^9qo2AerznUt$#YEKLhӥP.NRPgjHp Qaq:D_*^$Og!Zk Skdq.G@+᳄=='ПAA s#UTb(^Qd[l?QaeZI}"-7JnA5~l5t "[*|gYZ0fe0f3b87ecebdd26cd71a66041ff46ea4eacffa 71405505afc60fdd14ade81ac50425a3a8039e2a 72315b892efbd2336c2078486b542b73284d5bfb 8405fd109fea665b70746821e961c5f723228be6 85b5b091b210ab178d4ee55d86a5bd4544ac4b3b 860cf660c39c8f4e7e3488c01e349325ba82bd7f 8b865632e05350cffbfb8f4aa9698a5de67828f8 96fd4ec011218dfd591cb1d23446d106edba3681 bcfc1343bf8f4bc7dd44576a0ddd156c0058a4c8 edb377a46210e8ebd1b1b35815acdcdc451ef1fa f471cfb89a1fdb016ac9d3c1a8a5d57bb8dd3b22b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 6c1e2e695a2f0575bcb7e67bc72be34591789107 1752bb1a4f39f552c3d117525fd6632a1294106a