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 xx l S/ PropResPI:threads=2elapsed=15.672cpu=26.720gc=0.928factor=1.707zXZִF! P{]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^Oު'R-!'yzAu%RO%jPCvP^[ Iʸx@!:U~V| $ -FYdKǓ!gpN\[ԝ3l s7=  P|de? HlHҗ&a_*bF{{ ,lkذ2IHJ 2e1=,/VީG\tQ|ܶ¸Dž$\SX{[Oml -QH"3gp _gYb|œ1P]Γy,"刳|)PІB%/K2E.2b=lMPb49tw8Y85h l Ĩ$u.Ķ *s ,;8^Z7 由D/CEH?$4s ӫ-{KUX NQ T\trYjJ)I\ȃ\;SjjJO!Rr`D:}Yey\f3 н'sj4Wu3T!CL ; pP LA e(ؿRuN"rYMp+zcQ!m|nc ұ A1=y5vưj}`8=;<[\8Ӝ*uzVIQ\c 7۴tZ&ĹOL]] ,迎X?1rcPlO2z+.H6\ZdlH"W}tfﱃP'8պ`Q~6)Jɔ orB3>nxbm|_4=U1>k s?Xb-OF-iOҗS'ΥB>1}γqi|H{SSesh2$ ."B/<2鄅-TAJ,O h0x`|ڌ~^4k]܃//(#ePO\ my#*[ÿiM9MΧ;f jgYZ7zXZִF! V0]ŗXi% {{0zj7)J)ZX@fO^o Xӏc&Kd߭"l^VԈi^杖UG![Qonr2]3Cw>P?HX\jrnP5uEvzl 2ЌG/Vsr5v9T @A:*<[nMn #F5`;3 ȝoĶ꼧wa]ϋ6F. A JKTT EC #evPJnDhR2̤< ))@"Oӏ?P'컸yqDu&)swEmE٦y(K/\ 9SU9cN cBZ{ ˦deh3A~\0?Ax#Q0yņ3 :L+%lv?O"F,9:QSBq3eVu"sihQJ/VLr/<㻧:OHeUfl QD%D>5SwtaiCZ,&A29 |wEI-l1~1]*\26!FXU/@Bt*d8Ukp`M;,\}ݯ}nI~Ħ4~qldNlh`Sg7lNUUܛ9 7=RnQbb-z贘f=(9sN2PcUs)S]ߔn}ȗ9.{V\mȬlHeU*p RO ;K1Lgߤ_;0ZXU <q߷JxמJj&->2