SQLite format 3@ .0:  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 {5 $T ] Priority_Queue_Braun:threads=4elapsed=16.690cpu=35.412gc=0.392factor=2.127zXZִF! ]ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫wδ$gJ\h Ôߊ ᱞqüոn T"^US<\Df"&0/ZO6+Z}C9do1Eg!P2ӕB0eXB 8sU Ϋ-Ȥ!DmU<]]%)ɐ^"6QNml9vKIF}O*:DcT;*< FZOB(ysߍt[DXZ{ձʃ]ܰBl[zlf<*5[3aV`Ukw+:7ORO7oaJԄ тqۅgYZ7zXZִF!  ]ŗXiɟ1]" M${np^PTܶemDb!م?hXqDx0! P>Oa/:Wld9l+O1$\ɷp 1SbVh湱gYZ7zXZִF! od]ŗXi%Bt.M&T8v&/8W\O6?Q>3u?B_lxG9Q,%?-I Pyϸίo.!H=rj-bl-Rt>+^4Pr~w˅@.n6VϮ']2 ,-=pdIV@Vp-:` Z>O>eX誙UTM2nMlKJ0,ط批!^cx,M>V0SB&,B0y% smKbYރ~i;u##@ 8.]cXd$C3Q~`y41 ֚G]ФCe_?z-AlbA*rݥGF%Yłjqr_NֲN "-ah oIk:Ggn(6&^ +{&2[]Uk4*7bRhYTVDtmPPa5J/*M^@`v8Jsx8-5T8e`5WIq PWaS!]q%SU},;UE#*d+9 mD/{փO8:HAۆBFFO 5c}F2б~>7Ps XPiK}:#׫Ƨb͇P7.ov%dhM &9rwWtDlgT S'O7_A}B/gOӤ8 yK*4~ɭ4wBnwEr_㮝/j"/39Kn"{#/ACi .ofş:xzh sa{3FR^ ~G]{USۡC[j.`4mԷHzZԳ3qZ>{1sg3疡_2KX*oam`KY*AI_"r{m CҷX[dL|oMH̜.^{!TjFcRԮ@d/w.:ş:G(z^v:4>/Q Dz!U* N)PKʼg 3MƷu>ڭ!PbBEJ1Rqg @rqLjћ&g8?6: +MM IB֍n4p)F n_*SWȖy,y)ć<>> C4j#3fwá~V6' !gn9uspy͓uK` Sڠ5GRWq:AU-H"#fÑ,-ݻ̤\dJ_ ;oځG<+-={!+'q6Al#C?sCR OS-j !ׁzPbıǃZ~cxwۑ, :7/<