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 ',\t ]/ Case_Labeling:threads=2elapsed=5.077cpu=9.964gc=0.492factor=1.967zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I3>z^ ga ZLp_4ctN&Tlkd/_qm#y s3]ZOuȼ'6Rv'֧zQn xi[W_]($>fS{3ϔ"u)~S󂸺ƌ*lAmd R^sP{"ҒmUŎlannԈ]g*YIVWR"zε-[0/"נ%R̪$x&mH(;եq31Yc3+')Q R=A-q3X3ńgYZ7zXZִF! ]ŗXiɟy=58L¢Z_ʵڂ?|6J+*0$vڭ%$CK, 0`JRfm;00a"0fy*9&:{ MhJj\@{D'Iem) S']8<%43 T=y4P2+|ZMZ\64U; lؤ%=8X|F _>mQUW#aH9 ֵlcFr3Z}I\6d!U9opJ*RUpIP%O^ͩMi,P"Zw^QWa}G 惿W.h_qడ ǦCLydtCW|.12(Aܢrz%|甀=8`i=fr3Hu4C[HHyQzO0C \'dvM$',G+\XT+"Q76l% V%QWoMKXzhy ~}Rus&kri n<7 Pu}\/zbQh/Ǟ?5T)Øn\( 0$snxm~t``#idpUWf|03Mヷ*['~'/ Bɓ$Qv DHȆC*'Bu:aO_'gYZ1b669aa343c796bf19534fc881c82f6fc34afcb179d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ' Case_Labeling