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 QQ,/ l4 ]S First_Order_Terms:threads=4elapsed=7.513cpu=21.900gc=0.912factor=2.927zXZִF! 7]ŗXf[&Cz!iPAUY]6{uϥ?+;jQz_4YUwvlȦ*NRntA)/]zBg,c^6~*a`Qpx+?I ^f&SmKT?HT ^y/Fu~>c2(JzYIusJW=[}NjPn +Wru&(uA8q"ڴ|5B*qlP*dX*C )i, A44G>*0-fY\Ѝ]dI+.@B-LNҺ.H#ђ |̉*y]ИmTuV°uRFr"Cy;;* ?%yݨVxKncy+ε3kg Zu],-HsPdMƝB¤dk ﱥ?=FA ,##&7:J0e(֏h1\ ,wFC? h@0ɛ[:l`dg5x H}w1RVڍ,Ȅ ,2ԑ;.PGRb≤橻\ʟ6v:d\%m>V’ca1tÛ!=0Hd{#KUC^(h4Pĉqڊس;]'V}'Qws5R$>k}@z#q[e@+,$lˣ ~nFiaQF1_ kE\}<~kˍۑs1;¦)F] Q5$^LשYM;L|!嫢W25JF'R[; S-m/K7q26XQZ{ΌJyX3EݠK5NG6o3a;|/w7luQ𪋡>z\XplJG_x%KA6¹=g}vCNkĤԤxPzvAcܳwe$P % 荻oke`7.Up?(>\ܶu>)284Po>R)3XH[{@[t["&ɉEW'`Rv*w TػQ`[Fx!ъE'4j0&MD