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   v \< ]/]ZF-Induct:threads=6elapsed=3.235cpu=11.008gc=0.372factor=3.407zXZִF! a]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NWPp|B_;Cqk7xXJV]새ki`:<%KSA!쉺q\:&:B㟕7#/Hl_d1p@ ۫S`'B9eꈘgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|Ҳm7@7@"m3̖L:OrkdV-dKlhGFzHq0ySQK "'=0C9L2~l}zFd-y<$pw0ѦEJ7 /4j?&%X]ui6?j|v @&g!bDmvm ,OYoz̟$> X!7: m 7`ЁZ",(gYZ7zXZִF! <]ŗXi%6\l9h1/, toY͛J*אJJIا밡27ZbH2Մb`*Bi܇{`:Q v-zۉiZ3UE#dMv+S"S0 (a[ξ:S1$X7FgN?,)Z1mk0hvF9kx>A,"Tfܷ.\u&j`bTqTߋǩXk?~/Z54+Q*bU( )Iea匛~(OeÐ^!C赇2 YZZ 㶐ҺGw :9Pd|uGo/ !3,d7>n]?EgUO0XY $NBIC5cs5UM$*m)mK ֓)ESUJ~K" a1ډqI 9+☌jE vB:Z!Qy٢4׳NVM+7zԹм"t+;NJPTx\#%"gYZ4f17033921c02a1ff0b1e90c5efbb066bb43d6dfeb06bb30852b87bf08fc9bc974d190b6e06c78ba f4fce277c9c42ef9bba8f85f9536f0412a82bdc4a19fdd848f18680c3cf5a4d12c0396fe1e5554fc   ZF-Induct