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  e5,tD ] Priority_Queue_Braun:threads=2elapsed=5.187cpu=8.504gc=0.248factor=1.647zXZִF! ]ŗXf1-/6vR[3 @ԺU4w<0S˦pηr-Mdxy1[ r-t@ZZzhzYфI_DW/xKUR:UY5FeQ-6&[K~ o쬴#d0\PtAշN/GX6'?VEv<x0Yp`jYJjp %t^wUϦ140 gYZ7zXZִF! q]ŗXiɟ1]" M${np^PTܶemDb!مC(Ԫ[i Szk|J́~Z4 3{ΆK8 Yz}0YgYZ7zXZִF! (]ŗXi%>gPT"RHmeqL(Or, >KfRҦxбU^sBQ?DbP1djˠeoSe=TH\Ylэ.:-N:N Ҽ3NM yzy>?GT~ݛ*Tː` ˬ֊j'pp{Y KsSj.B*$dmˡUE0.$a]ƶzzF6yP "n([wUpp,POy Gwq7pb eB7Tt4%jlj!vUV.?/vҚ CEx6#uRQ? S: ''x@sǖNT9A: Yv%3kA-?OpKxU [-R7pN\q TǖC f.~airg v˃ӟIM5EBufRZL}tyl%Pɲ9߫}gfv'\E8sgP$I55!Q-aܱgYZb1ad39e41fbbe9203200d0fe86866c20627c3c55767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 5 Priority_Queue_Braun