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 __% d< ]/ FOL_Harrison:threads=2elapsed=11.463cpu=18.384gc=0.568factor=1.607zXZִF! i]ŗXf[&$'%TV1TZ[,{ r-TuD lu|iZXԶM9Amk{!ĽtRS6o-$.2IFR>sla8"#w偅?*jGn@oc8s%#;* 2qOrLFM_n`_{څ#QŁu-* G]h?*Y< .fLH:ᚠɿd sU P5f=m=Š XmjD6DӨ,$05W}3D)ԈgYZ7zXZִF! NE]ŗXiɟRxCpp'v_z1]| xWC;޶Y3"ߖtaO̳}YZ7zXZִF! GX]ŗXi%>gTր2V(ö F):n %#Wjz#LLu2 9Q_G?"XBiwX ;R͓MU-!}Z0ly.8z04_߲v2bGҨD7.Fm#ʶ7x}^me&N_H%d>`?Reͅiz[=ydP&Zld"0<yq lDaUn`b% KBŇ6 w07,tDV l~<8 a7t}yILlA-C mB>ciE4XK-Qˠjs=%X Ҡ$JUCfɂO4NwU܇BJmSldZѱ5C:;{Uc.8 ¹cW ~Jgƶ>OY Ғ;:^'@sy=ˠ k2] :{d銳哶 _t+S`@,#}ɾPSѰGP^!^"? P*(.hg-|S(X{J]VY%BՖX9e_IT/;!  @ږ.^;B?@B6 ABL6,Djd9 %N@_O{g-3:!r֥pxAWjKЅԡB|gE:n5<><| ߣ2M|?A1"%0yrJ"[ 8{IZLj?%i>Rt+~ A@έI_Wv뙞]'ybakW~Iv{Q늍B*9f?Rv5QFm,_ggYZa4a78b5acc84be2e0b39f644e6a7d54fc52741900779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f % FOL_Harrison