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'$\l ]/ Case_Labeling:threads=2elapsed=5.033cpu=9.536gc=0.380factor=1.897zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^? G>ݥetw"/($l ;DznDoxKR`p;WlF%]F[\|6y{XH¸4v=@r U9yEU?&q42q87S=RTnv<Z՘vICW:<X߃{SZϚkߣ#$yH7ԚT_96Ͷ]*QB`؁0Ę+t~BsH))0` X\'o?i*y<|SҀ{'2ՉJ*8T>lV־6/%#AʣgYZ7zXZִF! ]ŗXiɟy=58L¢Z_ʵڂ^붩FD㊽@( X76<@apD&Z{Z0g(#ywYdž0c~0 Rd4OmSz&*[yUڝ ]QǀKZO?UOUjMgYZ7zXZִF! ']ŗXi%90ù?ڜ.fҗ9,žǀL`}um!T/XqEgz5vЄQ*U>+bp! tT +jsh"d5ë{eAzP?Ⱦ8;ʼ/5)ƽE)&tZ"Iu"H d7v AusI `WVOtaf!rw37"LDwi3i(Mj?Xqep2 OhM3Ѯ)S50;<9Ib{#" ? oIXveWa,c.nOTgYZed97d64090a1ce9e972b2fbb70fdd88ddb752c38ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 ' Case_Labeling