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 +  ]/ Binomial-Queues:threads=2elapsed=6.762cpu=11.132gc=0.516factor=1.657zXZִF! ]ŗXf1-/6vRZkc- R0vPP OA50is|bagQ9;H$ts7kV;qPk42fﰽqڣlEARi|=JhFJj, ?P"UDBnTX@Q)6˧܈-X뿿3Vt5"{{UQ #succ d\VGjRlT[op +}wE f$gYZ7zXZִF! {]ŗXiɟ:Jc6Gx&?==Q7#XL*]0^a%GD}MD݋V| !H\6CMr6TEe ~KSg1e##-ygYZ7zXZִF! /y]ŗXi%>g!$HwzfRgFyE7vZ+ vKo\Y4x ĕk'Q5·Zp.rz=`y!S: vc-B+Mĺ4^o /N D+PW(T@C`;RΪUX.TF[=2O @QIZ)1ɡwGXUhT`q|䇿*tȄLX$៴ŇRB?u*6>Q3TU*d RAF[ҽN!n[E ӝPIF|mEe 6U G€r @lzcGBp: TiB\NĽ/njlbggι4rk(dDqג| =9NHK%xQ4Mn{ qn]z\% ?b z>4"9I#Jf91FwMI}ݏk߫> {rm:>=۞IePMNhP^K-M'R.Fg V;K@qӚPg MDؾw1oPUM}͑z J=rvv)..V& R AQODG]/zנ3=攖FJ*:iEFN꜇ 2n+_x:{:ߎg9ku8@2=IF;<+y{[|Qrllڵ. ķ5,_vEFȈ^-BGs-&?5}vVd!kp___ϱgYZ9388fa467008730b31149f5a5cc344953f31905ba70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 + Binomial-Queues