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 \ dd ] Category2:threads=2elapsed=18.270cpu=32.436gc=2.064factor=1.787zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~UFhWVn!PBZwTSieS/gF TTCɛ08옒Ѐ0gbhY§ Thyvx5MW}fR#m( yILddԝ>(A9ŋiT6&L' `K^7o |W7 S/ Ve-$jޥQ*9EU0ĿwxJ2[9B`z{2(CWjkl?`hH~6,S"b2ey8-2XVlyiw/cʧmpv~*"7֦vEw(Tw{9?7+M*I Y^T1֍}EzOx֎c #XX>&&vzO (Z2kI .Lu#c>s$چWLQ?3+ڰc589zr,P9)Kb&/{ #'u`{3+ϼD鐱*\  /FbHb\c@ S(#-̽PZkdg!K5˭b  2}BJ u/.rw{2\U%!Y..f,+eI]mIdր_9Su ^ɽ9);]4oq58 k#Ȍd9"q?Nz7}:W_&Q扤͐,utT@@P""թN]aO\BxgY_Oe{*Mv~laq8(vC?/Fa(&6h6Mg\6Q *3"~cy1 ;R3dǨqX," NDB^!r9=>aWs飮۞P ӨOF=>0b"^sk&oZu*J÷!Yr9yD6Ĥo ֝2gYZ3412df38672339c8671494ddf6be0e07638ec52b79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04   Category2