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 ~/ 4 }/ Dict_Construction:threads=2elapsed=31.812cpu=42.360gc=2.984factor=1.337zXZִF! (]ŗXf1-/6vRZǿWv^/QfQKJq$4ih}87+z% PSTilLgvøutčNb2X׻DT&|p`{g驒=N󵗭1:#R-'0[hں\_wb׃+da*TpV6G#0n1-^ΒCTEkۄ*f28f:ݩNrHm_ݳ!jRj-b<~T1ݞ0ID:DF*u@LZuoy>hQ{C,NT޹!?%!0Gt莭5PRj2)XlvWBؾuڜ}9'\ B`ygYZ7zXZִF! ]ŗXi%}:NJ;y[@U9$Ahv>`˞UhiD2~ɥ-{ʧ_.1с"@9J,P2-y'1S.o(:=12d|ww$b=&.qtC!X_{h"xul>5m历^y[0C֊_T %-d!fHe`Gl"YUͅ%a"4!OoMdW:50,/\;HsōީɃOt:6fbEHu8Q=YWK}g$?*yI`W@-gWON5Vב/;Ͻ2ަ!fZ&~yX dZM5yX {cb%z.SYdM.!ߴ+a(dsӰS/{LoV\Ep=Lbp UY2l0&)9qGD53DعFCd^d\"<g'.ZL:~΂̒QUgAlJ]pJa夆(he4-B^*;8bf`*7 |?I|Av3Ag5OS(RqkfW`ј0&& 1%iP98F挓n.0,%\lL *jE Xט#FU.jAQ[# ro\T>`%b ͉L`QiF;IE,{0X#UhqLw!Ya\0:f@ r'`q*t}Z) ̈́F#bsS05H D$xChtDZ8v!9SX&˨ܿ,9ҶSV+eg:_Q:7|ȟBLr t^ ZEdy͉1?5'Sș\#Q ;z7֫/ }+_(͆ZeOd}( BnKa(FL\G (NI(bp3vD|r7q,*gYZ014d78fc100c98b74414f5db66eeb23ae545fd26 0f8240b0c4f3d1202327d1acf991619ef62ea817 14658730641da87c122ab298cc0b1925a8e8b45f 195a898c171d695c57ac96ce2a3e8d63d1e78bf2 2d7fd5673bda78bac9a10b0c74cffa0edc043987 4f8b9ea89d6bd74d891be3f0a85340d8a3692bc1 64bace59a553d86ee6291cd0fc7c3f8a71fa6482 70ddc74430b456b8bef97788db506b9e0b5b320b 74c1e3185f043274bf981cab34c6de55e1592705 80e13ff3a886c1c87c891ed0a8a02e535692ede5 8ab262e5b5c5d2301681c11dd78a93aff6903e9c c507e687bc16f65edb2064cef47dcba98c2c2153 cc050eb195764c2af1f78f00d2090edf1d40c363 cc967630286dc45c5810f9f74a4536876f08f14f e4428cd42871958b9af5ddd91e9e9df7c53360db eed90fbd470c7affdabbafc75ee5236111cf87a8 ef86be48e1da1d9511df0004b77a11bfeff8940f0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f / Dict_Construction