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 : $$\ ]/]ZF-Induct:threads=2elapsed=7.045cpu=11.388gc=0.452factor=1.627zXZִF! ` ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N .4O.` *@]&.Bz#Qdu%;Re.oGH$WZ-+DhF?YFg 6M֓-ݿ`*}".q ΁-s"A8TNfF7wLD - /gYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIە| α'$W[).~1[z~^ X֋Nf>ϸ1S95D+ ;{qnvKRZgH m1 kUmGHT47ڨ%;[1nU,q[ O7A$ZOk1g~%Q. ي[`sj!dQߠawphq J_1jO1Kcw.JZCqt~Drc멈9jy k|8B?w #0#k ̛!.5EzY(ϝq8hp@ri wx0JH^/ ){!,HEK wG^bX `:htPILEp h3U,G. X\jEW{B$7@Âs`0! uDɠNe5UGc-cRFn~ˆJVgz*z>T$~w88+3¥ߝ)>(|Q!DG䡲/*Eoߪfx!\Z*66`FY]o-+| 8}VesIұӪQ|+/-S6I$(6 NؚtlVm/Us moo+]1bYqqtw&p@O*gYZ62b5ffd53d44fa6b6dd8a73783d07cf37f0b883598dd477b080148668828b0f67c6e8a1d9708b3f3 2bd24ce6076c349b4ed706e0100c71124252a530a64f6688bc5f3c80f9ca9a0aab04c57ca2e6a76b   ZF-Induct