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 PP-C | % Boolean_Expression_Checkers:threads=2elapsed=17.282cpu=30.412gc=1.868factor=1.767zXZִF! xC]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DJ/js sHPTAzˁa q@x.N rrX tik}w:ilTrhk4 TtئgGãP"p᠇RpBQhh=RNn⿀ ݝ}|p2񯱺;Dt=_h,]K b2܍"pM= {ƝR8H:ӶtEpiEw.`o1A{gYZ7zXZִF! Y8]ŗXi%6xoYzT:%:.im50;rz@L]7mJ7Զ/땀5 Z)ܸ8WvgkMLoZZ28/TxEͲ;U+ 3\Can&VHrAyHc#lTh{N0ۺwGvش 8 hbY֠[Y}vR*u #T/+W/]ś[m`Y}!}+2=5ZC@iA8 }w up> w(^KGB. niQ,2B^¡)_R).m8R u 7Qvc ?^k0T4>6*"KBơtc La 1LNIhr'mvuNSS3p!pP[Kw\+(Ɨo:2UaFkaVg<΀~|f1XBj_Rv@2x'SP u[.l i0LxЃ_6>;B{VU~caeP\:3N}%て^"10/\JɝRnʭx'uw=` e=Fr @,>m ~Ie$!AEM47%W$lYeg/ qIѽVb}`m«L#)Vp:l}j[,yeZ̹5~o3'| g@g==ԧ 6>i#EΌ % ;O7^V)Aϙ->qH@$D9%nTQqϾ3bEWth/3v[U3㌒c\UD@_6