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\4 ]/ Case_Labeling:threads=2elapsed=5.315cpu=10.264gc=0.372factor=1.937zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dػ;[Q8Rg3Ia.JIiѵP[Y8w%U<L۲yM:+Pf'W:@۟ɜ"|v(/xRIJ˛Xv*Xݙ4ƈWQ١C4*1430Z!\u3(wӵFéyp[䶘 d ö7$gBck 񦣎-8L8J sR~z{/8_.{vjС Nw=WVȇڊ5\9AaEnNܣ# >ti4dse7;o֑RvtZRHh]lS4J쏱gYZ7zXZִF! ]ŗXiɟy=58L¢Z_ʵڂcUT[+G]=^+<;<$/>kE&{f= }w-)|xzJ %=>d?f$/!6F#Yb]]r.rs 1h#V/̂Ftrl yn^~#;j*jD} =I0hj^mQ~<f2ez3gYZ7zXZִF! (]ŗXi%>gK/5 f BŚ+:4,_%,(cGwAV%c6;sZӳ– JvP?Zm ݂\9J)T~ 0S|X V3$tٓǐ&^wM/p7}K:q\7 H!w!TpK5W_v(*C^R3VmX|VZfCf/*j.\H́\PKhCoK#JzRvaH3S5K?Gc%mY<} B>Dt4gzd\.2|a t)I)0 Q9|YTNsrڍomz)M9o8PjN YI-+:[1ucxR١qECPtլ|hho[ssʫ \W}zt!Lm~HY{T(6dW$?4)jXwlU<@SE)$' ."H^8(k0?-ѨO'^2i\0N~~zڔ G"ˮh K/Dmd@8N\(!ID $ ?Uw*~ApcUx5%Q\gYZbb76d4f2d506ada19bf4a817915631c78ad667210779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f ' Case_Labeling