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 ? T$  Program-Conflict-Analysis:threads=2elapsed=45.953cpu=87.004gc=2.928factor=1.897zXZִF! c]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CU[Rdid!+ʷ"r+̧im79wx|LсuSEM\5aZ0E\p'Ax lwW1oh(, -$‰S?APu=NbQE7Gqw]0RYO&A&K5 q/Ã-iHMwa"ԐG?[uY/`lYyP# 8WSTR%cf ? Program-Conflict-AnalysisFCNMKE~@wxK/_s!mJ"/!%2b聣#Yc|N݉mx}ѩ`lɺu{A[3k/A-1TyU5!̕mqPqr,+_'$vvJ.@pwù؊rcg7zts_/8X v-Ə7͕ވǁ` Y}+ouMb92\ߛO4NgZux _7c5Zr6 6˜aQj($fw'ez=ϭl>ͭ~J+@$NAճ``Nw [Zİd\3tld64ø<^2L *CJh &V_YKMrNe8³菕TFase4.+!C5YB)* ~23(!ۘy2xO)O'~"ľ CQ @ixDZgYZ7zXZִF! ]ŗXi%6y6(t+lr^a'ي%V Q3\1ZY5UgÞj۳VJ05I)cMXƲ3qn%2 l'zVEEb-Ȧf[{PrvKoED׾VBöI9|y2'P )G7 ksD% THKP61~1E:Ejꥲ\2@PX߄7b:ċ>Dy~K+{)}uD`pi8iD\W, DܒLiIoCޱwNkobeYnؘ(>dUA4_og_y;I3~RCwϞzMgԌ}9XWM^Ȉ ߦlgQ4t Td󣲀ڻT2boƪӗ/wn"5Sȵ~ߞ[WuJ+b)T QL*6ɠ5'H eX-H&0{vDǶqs@Z%=A\?ک)*} xIZ;.LmQx>[Ȁ5P pq-T~MIP1@4E!H8u/< 49?$VBwƩr=(Zw7[>{2ܮB<$_:(M`~fG,33N`PX2G_؋M ) "KeUЙiH<~P d~0)RG(bw&mz,;ӇA0Q?Mb/ *WmND;I lijڄtB-@T\&& Y*#7ϛw@uF;l^=ò|6t0݊P-v8`?6zp"_K+"ܧ3HD_z>lCGh^YgYZ020bef6fdc9d9841987773162281fa8858e75716 204db0daace65ac0b72caaeabc3cca38c0b9d612 31e4563de4b192be88e0135105e1bfcde94ef5e1 33e46e68cfa5f5ced44ff0dfb82522c6a302827e 41d367a2a17ef839488cd0e7b6f5e2456205baea 4daf0bd4692bb5817d7a2391e9d252fd173637f9 56228ccf170545e05b7684ece956ccc14be5d4a3 608f6e593f5561870ef3a8aea409a6a7134899ed 8175f1994d40efa61f26f0193bec7083fae8ed52 90f70e79f933c9d69e5eb9a80ea07033fb36d9e3 b58bec6271d278427bdee6aef2eed0a1d5fd6d8b b8b2144fdaf92601ee1a8822dd4ab807cf024a47 c3c4ece7675d8c208e751ca95be74f3a4d1e400f d3fdfea6e6af8236274127ca9aea3b49f828163e554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a