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 _# $4 ]%]Random_BSTs:threads=4elapsed=6.326cpu=12.864gc=0.740factor=2.037zXZִF! L]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxˆ MZLdfXm{3|#!۪62t5U=l+wĬ{٭ZB/2yB46,4寽ȕZn6/5g1DNw>"i*ıkɏ59#Xp7.GvD- Lt =yZiyg*,.:؆twVKiBvEZGuKʜa=DO]gYZ7zXZִF! 6]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻jA u].Vlڃ)Z1׶<("^BkP=* E9_4b8 sV6%ztV7W=V!M5!6q͚d\qjd3[a &KDϝY93w~1܁JIgYZ7zXZִF! 7]ŗXi%B  U/)#>[OMX(t!'z[7-AX=І FT:'NjSD(BbM3h00*; h?%KraP8yW?! dz=S-mB^zk;|ٗӴa[JM-aؔrqO%q۰rk_ 9c=idO-'Uq@=c=[kH3@9aAH1W.Ad@<&W_Ų)y F^8l jaj+ȼJ _ 0K_/R*{{m;OIEN:Ul 0[ceXaLvXiV.?v^k{ eJ*#O`|`"ZeoTJ!u8B$WԮWt"$? ͊' c(F{E +.i*'0Ɏ6.}E| {@VזJ:_9wS[i#ܩAR}_&!s;, ɴgC}_?qq-^d+"l Ik2C%3+AFR{WNL 36DZ]@5+AzFUj<` #X+YX-ȻK4z!퍯]-+4CS3Yb MAmi᤽0"<cnCYw- 0A"D\ooߞwn&ԏ^U!B"5lK`G;ػkP£в7̥ozi63ԜA‚X'[.]u.MDB͐̚aYv(æBHϻV#c,.Z<*52?u_ G[Pw&bb}n&bBz 4OѫzG8$u5`Ϩ.  Vkv8bQZIH6br [$A@5Y'$=FW겅NBo}FpgYZdfb5f5020e5ca9548a3873ade77e5de6fb0615f6c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a d040bb6bb06b2ee524550897c62da689062d71c9 386744bb6b75820dd10c5e18faf5c4419e2f36ca af855bbbb6d2a81c10e4e10c1a47fb62565d2c8876658928b6a7f4251074df35026ad8d301d3f20e # Random_BSTs