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 VM D ]]Noninterference_Ipurge_Unwinding:threads=2elapsed=7.764cpu=13.648gc=0.640factor=1.767zXZִF! j@]ŗXf1-/6vRZږech-`UMqď꣮BYmyIqJ'\hGCFhtdh$,)BR(5wl',N;C4<~;4>/fqQMTY `/^Oެj(\ErP6%(–)Ύ{5 5yPeN ̹:]m~]y"B|Aj/rm7hJ, it\L}' N]Ѐ"xP9\c_;Uu  8׼?YsZ @qr4UG*,,Γ3CC]frA"B"YT?dnulac7t]im.lD-U>vЩ}36-Ot~ 5ky42cN^AsZ)wDp$wY34N_d߀([]2lx]^M7럦"r``:}r3JGNet1UA U,A"A$Æ5#af齈N*>\466(mB@~G%2լE(ccQr=J$mr0Bu?Բ bUa6UVL1J.h~2sD}KQC 5ev.9PLϪe&i[.ؔLa˳[Pcͻ6SPrSc>O MXikt?gYZ7aecb6b96795282ac2bab09277f71c505d5d4887a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 f0d5a9612b55ee33bb54e631e5c020ce99023a97d8552911be402a88875ff4d91eba9ff6f863b8fc #M Noninterference_Ipurge_Unwinding