SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info , td S/ PropResPI:threads=2elapsed=16.090cpu=26.796gc=0.888factor=1.677zXZִF!   PropResPI L'1]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^Ox {wэƑ.ua<䶗b[2Q;ϱ<;ܫ57k?nf U)7[hY}]eG-& CwwfP>QU)iIobG\k3Aٟo5˳+d2dUxkM&j)Ÿ/:x 6*j^@2KQkєM+! #gܧ ׆3>eFGckHϓS`l^PU~^֡"^xAQE16go[6bI񁜸ƹ=$8 0P[ɥN 3 /:.uA1&9!#3S BnD#FO}K~ ;= I*8JEqo{Xb& Ā=잧|0ב,6G!n;ȗpoٯX%C]xֵYH d)C ayw r_>. !mFb>n~LU Kfv]@]*9ɚNv?1([VZ]Vl xinig'<,YAza*2iU`:n g$ x6X5$ɯef}AZa6ћhP:]%wb8 YZ:/,h ]N_4y_uUpa֝>ц^O~2q>_u.Vg¼eT|(PIQ16EN= he#%穮ڸ葸!rg2,̼Uõ ~qr[q IԬNWCme)+#N:d!4+kqZK*D+({D(j kgU mK|)3SSuTr!%G~b_'6tI^H.s0_[+Ե\nL~E?u`/Ե+ (WFgYZ7zXZִF! Y-)]ŗXi%B׆> Tޖz/9bshz=g'Dnj\N6p8ůy+"@eD^!rՖh Ù;M : W"ީ^e`Xx\$v9(qgҥO1z$ !>H?{,ӳ{mfɂ Tf!!{n-`O@$hP'x-EfYj:$ȟ6Z7*bH6?'#褕WS.$RWH'&{BAC-hwmλ#{jE2 ͮsdȚfoĒOǎ¸ޔ8~z9] /?ڽ-uFj8L M`14k׹է+.[aG tbU]mD E 30Qm/En0Xaɞ{l*HS  /}8LtO1.lPl;HUM`}ZV Atʾv}?A Pyޏ'F C_E&aCMo0tKz_ UݒWbII\e*y VTfrk=D>#R"΅wDl+b'kdw٬˭|lrry!bt0%ϫE#/6P= WT|)${?#&38K]mO7]0(RpFAKlX#F{UJ/I?!vNvF 1!0BNPnfxc%?^[YB z L ?I Bh p M>_3f!ddo `+ :ut)xhupd0/_=83w3z5pʢfcNZ[ ]3S'(V B"2tP3Ix>O0̵qTo9K͋Vcz?Ԇ{Ed+ps2 AA6)ݦ)Ѕe x=yN r6gYZ2410d4066ae373bed1722c6597e4e0d5d5c05661 836904357bc36511d60bc7a32dbf9b441375954e d58ecc0b1995d99105c1e5da62d531bf6634eca3 f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcdd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295