SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 @@1 l| O/ ZF-Induct:threads=2elapsed=6.990cpu=11.480gc=0.432factor=1.647zXZִF! )/]ŗXf1-W_X vL7Blv!~}x [@C) צoJP/y"GC5|j>cM$padK!a68j% 3L88R~ !l~ڕ9/=ֵ,I+Y*WXZF 7nsh$X"5Z Ic;s]Qfs3=[TLd,2ֿVZ fde8Hu4 zL^c:DR;ea% 4fRgZƕ-:5]§7|b}ˁ02 RW?w$   ZF-Inductu.d 0H[~1f]w1%n1)dU'={5%sxR2‘\%I8t͹u91qI|Zx@kYFfYx`\ &J'#Y b]Yۄ:'ѹz!>ת֣;QN5Kc >VAYp(u䠬K}@% =z6;y*/'irSfgYZ7zXZִF! 14x]ŗXi%Bln> !UCK QYܩc$*̸e{V?O{M;JQȒmJ9ƨKYJ:{u\cDt |Sh ieH977"/s"(7N[1lo(ETO 1JeKvO!!QTWUۖ LM:ÅEAY/>&U* Ҿbp}&,㏉Z8W!1 cK} *mRk b9IؓW80>OI=\cʌWdp9P>(4*)K9ںE;#0SZ]}N\>[aV^O2)'[;}[29ٱ[a47:b)4Nk1@|iϗq 9yBeԹKS:LψE{DK w  rᖥ4yod A)2ܝ|zf>gT2<ՐU=tC]cy%E?L Fi{ $]48 MNÁauA&b~}gYZ13a708e80ede860b56bb4255667ef38f89d00fb6 211c6d820a07c7d8a8909ce1ea47cba8bd05be8e 25d36e152c256908a18b0792a5344e6043680b74 475f233ae2035d666d45be596b68cdb684836c21 54a2b9cfc7b1ee599e8551acdde97ea61c960b05 6f72817e7acac96bc07022dc6afaa9420e4140ab 7353b7546cb46d8fe8a83ba365b83de30653aa5f 7c86bb6abe5d55bc734d8fb4133675fd6baa01b3 88bf2019a4473fec21b474c43e91a66330d82045 a3a98637edd490eace6aca8e896600a6e62245e6 b0442740934fb4ff5c455327c27638355e569117 c4ac8dc1d359c2084e08495882ea5245994e4e5f ce84eada21d67fb38022743b9fde5b6e2d8c71a8 dd3a99112e079d3315463008fca03d05dfacc330 e6ef99fc2bdf343d2951af24afe67b66665908f8 ec183088b851237645051a5014b3dc03d30e2bfd edc4d1779a3a5d82f56aad55f6095cffc9871aad fafb911cdd11521c98216baa33000acde2ff02440dae525efa6f84ecf34af93ff7cba31c2592ec0d f6a47b4f22906172279ea9ff188e015f49635c58