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  + +R 44l ]/]ZF-Induct:threads=6elapsed=3.260cpu=10.880gc=0.408factor=3.347zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NQU3|a[,R&+J߶qF0u2e^dB6hnV# :0YC}fS ]4>ao4>kΆݍj+_MœD㢅D40M2%T)$~h&#NdkgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz 7\: A6xF0Yq)_~c< R {Q²xR&DK$qEȉfJﱸ2-(:ѽ$0eS"s{+qN \Hpi#Bm7`xM0D { 뗧1O.V/` hP*ZH7 C7Ђ,-ݺ(|͂DѼEY 6-B'9JFz"[w_NiqS1nÚy}(J-a< ªЂ KܣAęyupHA`yxhjv&nqL& v?yϧw]ϲPKMEHTUaL'. 6iId aQ7G2 NDZiݾ7Q>;ZV07^x,q>D1fZ@ g@O^\&WmIƊMw@z&k)`OG*d{~tءY.dI9IF(y,|?!ЙgYZab92c6a794cfcb411be0480443e320f6d7fe410676eaaa26d5dc8b218d0a611295d4ee3d6e6f203f 72a97dd597f438c40de5f680854cdd45ff37b5fa9f0f626730f5ed3eb41deb7faae9b50c44c41544   ZF-Induct