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  ; d c]]ZF:threads=6elapsed=9.930cpu=34.228gc=2.168factor=3.457zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwؤJPˈ \7Mqә"fy.RDT0x]1ץ!)R|Y@L>TgS@WB}2>L븹|Q;1na |#^aF1Nv2Q(ǽY.l}aGS=/6}L7xoY`5 Cк7[Z/Ǡo+_9 Y7IC^Mu3L@Ik8-Q"7~[}Ջ.z9p*0cx΅qWjX3]7A*[ÇHyܭAǹo}ѝ gkTJSS- wۿy>#~Uh!\gYZ7zXZִF! /D]ŗXi%6#ѪةfD\|ePsLSLΥ*pԕKJTe7zv?9#aG֔ɢ\RAk8 Q?eT@Yڵ!2B4W)P|L zWš%ӕ|v(RW*#{* ȑ<}zHeuC-  ZF1#@z/"Ѧg³j78 :֧'PM8N;^IxxrRZ鉛E > Bʔ'M"-Q`Epßkb pIEpjqr2릎T5!(7.3iD)gx\Y5SCW1iƬaհ7FRbkZG[p30m|6+/zi'*+eff]F}E9 9F\QM>+>]\fnJ` Q,^qv3m,Q44!ۥ#:n>̉]ެ8rزQ@LX0(hjfpwVCptVc QXns{J;1xIGӞ?_qZI Y4>Q-߹%/t