SQLite format 3@ . BBh77otableisabelle_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  \ \!' lD ]/ Case_Labeling:threads=2elapsed=4.928cpu=9.752gc=0.448factor=1.987zXZִF! .]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?"B43C|/J]=X"]J!3Xm泯j2/ƵnCh +0Jo%KuOc!~0%KcoWRE EPJ}~T}I>ìxgYZ7zXZִF! ]ŗXiɟy=58L¢Z_ʵڂ)sNYozaWҐa?DP%4Շk -]?+.fJZʤV 2B[ )&w yzJ֌Hf~ չd.lXӲczCUh&*~G`P*BdvT:A+]Nɷ_DluҼm9gYZ7zXZִF! ]ŗXi%9#qz*|xLefVƙ @F_<D֙Bj7i[g/lnCVC â;ݏ}Wo2r2r*&.93)8# Ig$a@Qj`;s?)j,i4-9LUk~ShV3XE%bkh*OBsY3 EDd}"_*!sfoZYXل9;73q>BUuicl(ݯK?T3fʥJ^C$)en&c{| #W57MI.68n-^[&*JizŤVm5d5*? nUODRC 27?j[tl7+H2ZKd_4@mDOrB8Wh}5qctڵs[y\g1*X[ x+Te"ǒsn;9MDkOTRU˅xMM8>YrE`#݀M_A<֨lgYZc6541211ffa45ac27feb7b888254d981241c68e88ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a ' Case_Labeling