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 F' LdT ]/ Case_Labeling:threads=2elapsed=5.259cpu=10.352gc=0.408factor=1.977zXZִF! n]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^IeO <K^N6Уޚ { Q QzְWx".ALg9fNgl,JZ8&G|q-kVy[l 1T ^5 ]Lх{<&S]-\&報1BZv*A*:eV|wnUǎJM{=7ׂWF7pY5T59]'eRSEg'Bpd]JҌmlG}YyepC5ԗ?:QBY9\#ax\1M+ٱx$ݹؗ=@}?%c0]vpzzH,p8d7D6 vplj Оu1pB?$װD#иѰe-[Η&M'i_"[j::i({3.x}ʍfKO&$Do֦+16`S2y߾# d#i0u5ã#4kPf#GW)%FdtD7PM)X̨8ud`rNL03dF+o RU_3U7=ԺjǕ-o"rm Ka!:L" (_o\#ZG):-C{T*>Q蒞o-Ke ncdTk,!MR%y1:HFPI)ur_=7A@\2~bһzu0Pw]QZgYZ6a48ed45e73e0eca7d2c4450cd44e2c8fbb55b17767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 ' Case_Labeling