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  $ $Y'<\ ]/ Case_Labeling:threads=2elapsed=5.022cpu=9.544gc=0.348factor=1.907zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^N/>N:=6/J]=X"]J!3XmѲ} B {!I.qGrT׋6@]|{18 pf01x$ߨK;uA]ش|ID*1:dMʪ {GT ÎCv4 ndUώ.W^7O37.W`/ nz"s Zh4y3|ɘba 3H:ʅ,׵,[! 6"f4%6ErS.UOCKS$ͺ 825K[UVV2펊'4~lngYZ7zXZִF! ]ŗXiɟy=58L¢Z_ʵڂsRh> z>4Ekm=l#4Jcǃgɘ~:e1l9n"~`< ͬbsV\S ?'drNJ;R*jRSyՄuhp1ӳtąZ(S6ڐ8dBI"IQIojMgYZ7zXZִF! %s]ŗXi%93@Æ񉚴""q tvv=ɵ#JMK@#QZ`Hn> $/Qg1 ;T1pGU} Y/vmn5I1\SJzqCbwvU(7-;ՙIQcStV[w.mVHH_5,ptgRW#t]M0d$ȕkj\&- n NN$[C 5o2jb(VȋJ9H<0֗{2i25>LUlA1Qkl*gozzv7u2"p IfL )LCq[<3Ƣױ:H5C@!Fs"))qGZCJj}Bp75X.S׬͋F)]\@=@p1RR އ<(H ^e޴48r= %<e9,+qB18ʃF~Lu7t[ܡ.Ps2לDH>ë W1xXǟcVA2 r^q<nE5ݴ6I/2WuUmMV,"y-_ɗ lGW:2;kgXBKκqB/Zv#Xo;4s\^SXdEݛwX(JS+/7|l!JigYZ3bd0409915cdf5071f269c26e0155c3105029800a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 ' Case_Labeling