SQLite format 3@ .  YYQ77Atableisabelle_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, "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 W+ d, w Euler_MacLaurin:threads=2elapsed=19.419cpu=30.252gc=0.612factor=1.567zXZִF! ;]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛s!,eXw(ȭ;p`XpZ?:='Ļf0G3i(m.{ Y9 G[e1!˦/[]T1E؅hj!ifBEjGhSBn|WSa927ٳo[ wͬS~TyCbhrw7z= vBV`+D[!1Mc6_F?$V~of0c u:z2K(+ p'>b@KO-hBfOq"ʓ"i8cIG*憀lNM`('OgU--n 8, o 3Tx@Mt)/9bA0| @AgYZ7zXZִF! eO]ŗXi%}4zW,}9::c<g;TUexg`#MX a㶪DLq*|?08NiV+w@G4XZo  Gջg VqWkYiIκ?2񘾢oG'aDLpG||DbEE5K~41UXeEm`4 AGSl8vSBt*C( WH<-0b6J~( s:|B0ЫbZ Ic@lNm8J(Y$G?rvc'RT@uo:Bp%6\C[sLlV 0w#xfUG#?=^t FY4*&x8= 'ru@=|a]h2ka[q/ Z{7gYZ0c34295975e47365ef213bc29e2140c616ae0bc1 306614ae7e125cd238a3bba7fd3fa5e2d2176f65 53c6fec8bd0ca1122e97880d460225de71ccca78 5a5e1fdaf975d1e550fdbc34edfc57f71789cded 814d1b5c3b9fde517facd0971e3dbe2cf6237736 8fff487090b7d56a5d0ba46c2d70e800f01d9f13 ac0eb512efd2c20f7f17bd891fc66b720378b642 cc22d149a9823f9977d158e4ecbeacc1f512bd630ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 84ded59b1a2f7fa0bbce80ace6919f0a164bbf83 aebbf8ad61062c60b429c0373f526e1f1ecd8ce0 + Euler_MacLaurin