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 ((M/TD %S Liouville_Numbers:threads=2elapsed=2.214cpu=3.772gc=0.000factor=1.707zXZִF! a]ŗXf1-/6vRZ̶l7d[(o h+0{]&!ޠSѫZ5|&!ٛո( Qsʺ@de>){8"dTN7y4>ɾ~eiPWlT`;QK4R`q2Gi'%HT}6a<vux. CJ=< ) ʔ{2D+HC:𠂱.]Zq^_OɆM" ^.EW 0떡 5oȯIl].M2rwC7=V{IxM]3b~%*#͏$&1hWG窟\E$3Au1uvD'j 巘a@ F8ĈSIr5QRgQH6PS!|տdM k" ~cܒHT)7%w9J HW {8z 3`"hJC Na^rU~l%Κ{xFQ#2xWJ#9OCCD>P-v۬|#S,a{u@6C]e9)' ]$+ kjO{H܆bۜC҇a8[dS{atvUІO9|қOWƿ16