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  l l-LL ]% Ptolemys_Theorem:threads=2elapsed=2.790cpu=4.768gc=0.096factor=1.717zXZִF! :]ŗXf1-/6vR[3FEªӏk44TYz9(؊+Ag unԈl` g)H),a| :d8M w!RNÙX#Cii;.e<7WxgYZ7zXZִF! J ]ŗXi%6}j`kyI# wCwQp(hc"OI8&:V('D3!V4l:N] iz4-CsH 3K`+, @c5EsM5cjqaU1pp4@炧>6XҿIЁҬ 01޹6L#Xd\]8s4@. syېt@~nw=@,ʗTo=@SYغ'7qSs14X' 'cRJo'̘)g.GڝצsPZW[{*] 726#8].@Z,%YW!OFZ/4Nh;mk+S9t{;kG-yK=sêi'6lzUےs݋UdE~ߨdI95RLas Z* ?V:蹇r\>m Aac*?*-f!(hAy.BȱgYZec4f77fdcde25be6753bafce3dfdd3be6f2f51c372476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 799e17e0602b8a57e51c22711081aa85bbe0ad29 6eee2f28316fd804254d47455168bb21d3c5ea3d - Ptolemys_Theorem