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  t t \4 ]/ GoedelGod:threads=2elapsed=8.659cpu=8.128gc=0.120factor=0.947zXZִF! f]ŗXf1-/6vRZȔd} bMJ3>~T P8lZ 2= ˎ_:|8^8Xמ|KԬhf]T*,gYZ7zXZִF! G=]ŗXiɟj bk4ĻMGC%,ix#snPP`FjUYH3}YZ7zXZִF! 5R]ŗXi%92Kݸz%vxx&! py\=ئ).7b ,t&r\dYmhj,:jRKo>Qޏ;a#(CFG#hm-t\]#oCKm=i 1;zϗpU+Qyߝ?Et8*=,V #euPEc5 ' \Ʉd$.Hܒe#4}(yhj+V85B. :PFxZy YLA"̛L#dhl9-[HToXvnkȯTHx 5w@+F14ĖX~so@KhD9X=ML)nwɗ.G`fDk0)H5m]9A}is(VWv: ݉H5aBUnA,KW(h9Z-|Qp/EcEY+׻~/#+#+Ԗ]׵d\dO  $#/F2vS|ާ$ XDiPy}#w*8jR X 2Z>XOo}pK敉l 31mbB%>GR1]̚)R3NƝvRJحadk.BgYZ1748e6b6dd29dd0d0d06c0fbb88755c3e8a3fd82bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77   GoedelGod