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  q q + $|l ]/ Binomial-Queues:threads=4elapsed=6.184cpu=13.528gc=0.540factor=2.197zXZִF! O ]ŗXf[&]\E _ ŞG3Qֹ~F;T9+H!VJ[(ePmqv 2J6Y *ƽ ˣ nFo1HZg2-[ܣv$}kG\U.įRS7Ep9,w5sOXt!twNl@e[U3d딳`Bhb`ٖP 4qޠ6Wu*H=җ@29D \LO3md{  I]gYZ7zXZִF! x]ŗXiɟ:Jc6Gx&?==Q7#NIAuuѐCi9Hv~ ?8PE-(㖚<)=FġuS4<.UgυIi?fgYZ7zXZִF! /m]ŗXi%@b^~Z94o` A_뤭LǒR`8Dt|w_BO8?m >?˛Ühȃk XY\[9hx5۾{ϹMPv8w:Vq$s̨$^:e96!XQ=KEZZS0i;8Mv{p5v- n-ouz @Jg9=k/wġ-צJ⻐zDELY%\Rb}-&vHў+?j0ӫa{X@'|%;Ζ^]噩Waƅ gP]3PNjG t԰wEC|_m6R7_u @:uy__ՠӬ jmIl .oS_NqVD4W"vGoƷuM.zM)_[gu>M$ 9=+ĉg?Rjy151ŜGuGJ9jlS60Q{9U On($ܒ[ 87Ps:u;Ȥ[:.ezu :WڟTMK"^`)B3t~_R(!86_6;uZ<8S4\$!N5[@͒Xb@yo#i1 a`7zKwM*, 856;MH Qa%<MZB׈ yGZ;)DܱgYZ5f2683f1e0d9f432b5e803677ba17c8228d794a631f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 + Binomial-Queues