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 X)T %/ Open_Induction:threads=2elapsed=2.168cpu=4.212gc=0.100factor=1.947zXZִF! ~]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ Puz˙453{hS"v8bxvof I밅?=_Ne^l ټ`+ )Q\]y>/EBR"@W8h2F%Mag毇9bw%}ux'M3 .ES8FHL{0?}#j SU Z%2r6tS2f }A}j#b-P9SөB`0xӥU]I7": ) Open_InductionP ͳ='2v ZJҙꯝ "KmRA E׮1ˇ2[`N^p\wxذ-r'8ˢ]M()k3kig&;:?tzw U y&IgYZ7zXZִF! ]ŗXi% ǻk="J 3cddn,9OMR6|5Bqʨ`TJ~]Kj74VBArn(ACf@1_]>%LKnީs;uDǼ!]jq<)*!nQD4V vm|3wJWeSOsxcLr8盉'j;N<6bOt*ѹ#F'mR c\Ao=D4-+ȢEsNLpl;UbqR9x@n$kD!޶ŸGW G% ]]'`hMJ?`Kְa4wZ.8TrhSԷVG(̬y+5˼-vշ?r(ƫ:30Vz +٨f56p7OXM>RSK.3V͔[ Vd%%ٱgYZ5b77bfe746fb969ca5ddcd17d1e46b0b332699ba 68df8995ef5e551e64fcd6938f5030de6922bb21 8d3d8e2b1d4ea8df79736c16a4854f21fbb7844c 921aac8706d4bc6323b06423414d9bb796c776d6 daa711f4eb8fcacc54c6ae5cd0eb081cfa8b0f973b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd