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 }}xL m]]FOLP:threads=2elapsed=0.930cpu=0.936gc=0.000factor=1.017zXZִF! "]ŗXf  FOLP1-):49zleRna^bYB= RPK(տ@t2ЉJ|VW-UswewrWN4_zVзAoo{o$gYZ7zXZִF! ^]ŗXi%H蘋I#P#],7"3n꛷zgOdid$(+.)ohar'A$-'UKp7Wj{L/iVz !Nw&_^_ҵ:=˴]=K<űii @$34A6sSծ dBG)gO!ipGB·Zqp=RCٽyN_'̪ h4J2)⊵D◵5ײ^wlpz\! )"F\g`@zB"x Y_ƟmKxֳoReSdO8 h lwLgYZ023701bf174bbfa9178ca859c7247367ee0be33c 18d9c0a577ee8d671763286ca2cefba8ae15b2a7 2bd9b81412f919bb4a49633d92a29f1f4816d35a 606aba507b4b8a629a41423d6dd140372765563a 728e960922fc3a9ed2e9f47290b9919f71026a4c 7e382739d4c7b05f9ba4e611c75c581c49fe06a0 b92be31af05c3ce26288e844608163c3cc6492b3 ed2722b7a288eae7bca6151bd94645009ec5467a fdc5ff8b753dc457ce95a28fdaf922ff881442947f2620c3106ba8cf7d1c7f769837afcff4b3cfddb5f88c94dced303b3e729a709dbff83bab13ef86