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 ^^# ,$t ]% Random_BSTs:threads=2elapsed=7.627cpu=11.768gc=0.588factor=1.547zXZִF! N]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxˉq¾Ɩ:@]\tssn<LK"&"FG/V $tl)s~6{Oj9:j2e0\eχbK}빒ܿV&/˶H- aSfU ǚ5Pb.r%^no;57ݸz0*U y,?L\ ?^T͐6^Wʑz @T2 A1b[sgYZ7zXZִF! 6]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻ғYR3N_[ۓsD7uc+I oq,p1w%[A"/Ӕ ̉)8&p¢V.v5Y荏 ~]B<`LMUJȎ'w' *CѓMfZL4 Y ۄgYZ7zXZִF! 2gt]ŗXi%;C,¶pҚ[➎͑ $ YeЎ3.Kmm!jס'O(o(yjk)L52 Ew[~ xQP-]6a=fgU}󟯉4̜aDtO ]AWhSpKC:9qsJ~.NLS(oig8'ǗҞXXfZآ\f([{>!ʐ4*ȭhڀh6i@(/W 6O!nyKl13TGSehxqK]gFM.# {4k eAlܠmzs>S%tqd9iy;k&͇/`LR./V͈{i<«MδKSƀ ,9vbI7Ӕ;\ OSSYwlP:&Ŧeȑf%iotχ)طc |A5VQs}_3q=X9 ;47 j\PJ!ͪ(ZUeyr?[8L$pOn-Uu6TWce XyJ9vox5NnDh&wB->rFzk][W A+#΅^S'*Y%jۘG_3:N6ezkEY7k{-֕ lLݤ!EE[d0gYZ1ff6d8a9a2a3ea7d34459a5785b8f051821d5e61a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4 7ade9db36f7f6853ef31d44c4dac2bf19fd279bb 00c058cadc237b6c8659e2d0103763732593c5dc # Random_BSTs