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 K)  w Chord_Segments:threads=2elapsed=7.925cpu=10.244gc=0.200factor=1.297zXZִ ) Chord_SegmentsF! x]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mHA4 ?& 1pv*4z\&5o^e/.!^ם VlDPcNFbv%KNyQ\Q4LQ\Tc⸇iG둃+@5VL0=49ܗܼ6{-id-e c_s y!c'+"}Վt=eVJaa"6YS5;:x;6e 1IgLr7njI-rnn|rb[Kuc(lnTF?ׄ6m߮ШxN]pOtKQ;k6V:CO<KFrV\m87^!30ٙ3MNF*, 'Iwց{k S#U&?4wŤx[ӕz>f |r$^g"0j :^<JruVm+ۂWb~/pZq"EgrAC60Gb/8'1m t\Un_]g4W?l}F4_[x\̳B_P wYojVgct>CzB%v .]6<ړt52HԶ{6@w{$Nh/`ED񑆾vZ \|LcL; FBI bc}W\ᴺTᑨ~͒oZ)xC,:)^u]b!umUAΆ8|& P (|b`pd'PҒ2nC:2staX&}ntK cdh8OIRxQjNlĬ1k_fuIp5,確r9[°\AWᱠj|)Jr$.)3\fdq#@0ױ-HpY6nOk1~wOLtAUЁAuVkμ!kJ3ϙ[.ءEڨ5Sht#4S9@nz겂GVK*).)45J5'X\+SA,=--/XX5,@Bw{{_eP1°P@kmr-ǤgH]P,gYZ27942eb66c5fef5c7b53d2aa211d36945b9bb986 34c9873997d079517ca2706eaa4aa4b8f33241c9 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe 79350daa9ca6a5dc1b4127c0474db63d723d6da0 eef6746d770fc46fae6b447c1dfca49114beab20878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 53c8bd6cd9b4e6659e7c8d26458e89775080e70f