SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ,,Q 4 ] IOA:threads=6elapsed=7.586cpu=33.360gc=1.412factor=4.407zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)9Hz32^Ddƒ?t&ѣa0S[Ai@ϟlQF[qEyy /rpb1bG}" Z(g0uPxB0͏ [?kױc }U;hnpЅgM{-ZL5{â.LtpCukMTggP1#=jHڝ G :q-_zȢZb4nt=[YsS! eX`'DҪPB_Q m#Qg>)` ^_ #&]mZ)Y8`NI#e_hX5B<,E>% \2' yk&e[}ZnmGbs3PwޡDz5yXewԱgYZ7zXZִF! `]ŗXiɟdN'LvH۹)f]ԎLjmE@*[RQMN_ۺKv]zMV4X;G-G,1k3h 1;cILҤ9zznr-đȃ'lr*Q3f! 5ci|لG*q·3mvy a\VjtH7W3N42Rjs9am -_u,[a`GF'ʡoCdA];c]/}[** e5CXJ3N3}XS+~`\½GaX4\8urX.Gj5.ԡ]]`rm /D=xxlԃf @)˶ YFgYZ7zXZִF! &]ŗXi%AY_sܱ `0B?jaD^c9mF\=t{3&VŢ5_\')_yrufT-Of@e V A= (;6 * 5Zҽ [_46 O ,$ aȒI(%i(ml~z[?#-2)A#̠ŚFseD Yvg4T;-T̄f8xC;@İ>*h1"vHmRL*:ۓt'<݆=+tѾ_{/ Gy:aO<rұv67VuHWwoӓA)h/3Z6gp|0SJfu}(msPB$2Gp-6Z0k+SQTH0QBobm<3{wQgiy9zd/,H90x+ow2 hevK0V>j5o "[}X;u%[0}U:Z۪/7S;vޏ K7<贞͙Nl v4QѧTodLqW &nԚaO ߤU\HPCVw. ` %HV-DM#⼱gYZ2062c01a2ea57e5cd32f25459db96320718ce43ecc4f324134101a29125fabe50ef51b536e28ea56 047d2e97f704b6e2b320b2d6445d72a0e1374246 3ebd21037d595562adf488da3edd89da0bb63742  IOA