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  [Dd ]/ FOLP-ex:threads=2elapsed=4.198cpu=7.108gc=0.104factor=1.697zXZִF! ]ŗXf1-)(7D.qk,nC qS#ի*4-bu^05ͩCU]NtsĢ.ᚅ -0!1 ot^ֻJ{L}Voe|cØ" lp)P󥌞kxc5Î_ӹKShg 9Zi0gYZ7zXZִF! ]ŗXiɟHR,~OG_m2k(6OGލ+\ҙ}4`gMZqWxтgyQ;]JnK$ؿޑ ,lU}7ݰمȭ =uO_䏝ȮJ͔(tqȪrR_[B ;5C GesY|LSEx[fb۩O@l8,X q|RjL|Y)nˎ&&d[D~6g)J, 2 9w=AA{ ؜)HO:!e e n.+\BG)hKR2?s+02Jdt,-*Hcta J*r[8؁]NB!bXXvNlO%Yf*FkDu @ˑ4VmJuNaaĸ zn Yuq,kEEu;4}зcEsl2Y's}!mV%>^F|pԺ\m;geoOZ+3FShy4HuR}ccѹ{)gYZ50b21de36e83c94e5ba3e6d81e3c1bd124ea1020ec4f72521e1e679fd5cff6fa91e397c5873c6432 52fe45c0c718464eab2b373826ec693ea449732a   FOLP-ex